Back and forth between guarded and modal logics.

Erich Grädel Colin Hirsch Martin Otto

Published in: ACM Trans. Comput. Log. (2002)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
situation calculus
classical logic
query answering
default logic
theorem proving
explanation based generalization
model theoretic
autoepistemic logic