Decidable Elementary Modal Logics.

Jakub Michaliszyn Jan Otop

Published in: LICS (2012)

Keyphrases

modal logic
decision procedures
temporal logic
situation calculus
inference rules
nonmonotonic logics
classical logic
epistemic logic
datalog programs
first order logic
default logic
autoepistemic logic
modal operators
autonomous agents