Cut-Free Modal Theory of Definite Descriptions.

Andrzej Indrzejczak

Published in: Advances in Modal Logic (2018)

Keyphrases

high level
modal logic
database
learning algorithm
knowledge base
multiscale
multi agent systems
computational model
computational models
belief functions
theoretical basis