Restricted normal modal logics and levelled possible worlds semantics.

Juan Carlos Agudelo Agudelo Manuel H. Sierra-Aristizábal

Published in: J. Log. Comput. (2014)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
situation calculus
default logic
autoepistemic logic
cooperative
dynamic logic
artificial intelligence
knowledge base
sufficient conditions
model checking