Modal Sequents for Normal Modal Logics.

Claudio Cerrato

Published in: Math. Log. Q. (1993)

Keyphrases

modal logic
sequent calculus
inference rules
decision procedures
temporal logic
linear logic
nonmonotonic logics
epistemic logic
situation calculus
classical logic
autoepistemic logic
default logic
dynamic logic
knowledge base
logical framework
modal operators
theorem proving
special case