A Resolution Calculus for Modal Logics.

Hans Jürgen Ohlbach

Published in: CADE (1988)

Keyphrases

modal logic
sequent calculus
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
cut elimination
default logic
dynamic logic
situation calculus
database systems
autoepistemic logic
modal operators
high resolution
cooperative