Decidable Term-Modal Logics.

Eugenio Orlandelli Giovanna Corsi

Published in: EUMAS/AT (2017)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
situation calculus
nonmonotonic logics
default logic
epistemic logic
classical logic
artificial intelligence
theorem proving
autoepistemic logic
sequent calculus
satisfiability problem
default theories