Hybrid Formulas and Elementarily Generated Modal Logics.

Ian M. Hodkinson

Published in: Notre Dame J. Formal Log. (2006)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
modal operators
nonmonotonic logics
epistemic logic
classical logic
search algorithm
situation calculus
sequent calculus
bayesian networks
logic programs
default logic
action theories
autoepistemic logic