Cut-free modal sequents for normal modal logics.

Claudio Cerrato

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

Keyphrases

modal logic
sequent calculus
inference rules
temporal logic
decision procedures
nonmonotonic logics
epistemic logic
linear logic
classical logic
situation calculus
default logic
dynamic logic
high level
np complete
theorem proving