Cut-elimination Theorems for Some Infinitary Modal Logics.

Yoshihito Tanaka

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

Keyphrases

modal logic
sequent calculus
cut elimination
inference rules
temporal logic
decision procedures
epistemic logic
proof search
default logic
sequent calculi
classical logic
nonmonotonic logics
situation calculus
linear time temporal logic
conditional logic
model checking