Deep sequent systems for modal logic.

Published in: Arch. Math. Log. (2009)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
classical logic
conditional logic
epistemic logic
default logic
sequent calculus
dynamic logic
case based reasoning
computer systems
complex systems
model checking