Back and Forth between Guarded and Modal Logics.

Erich Grädel Colin Hirsch Martin Otto

Published in: LICS (2000)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
default logic
horn clauses
classical logic
epistemic logic
theorem proving
fixed point
query answering
situation calculus
nonmonotonic logics
autoepistemic logic
modal operators
dynamic logic