Cut-free sequent calculi for logics characterized by finite linear Kripke frames.

Naosuke Matsuda

Published in: Log. J. IGPL (2017)

Keyphrases

sequent calculi
modal logic
conditional logic
inference rules
temporal logic
decision procedures
cut elimination
classical logic
model checking
desirable properties
default logic
natural deduction
high dimensional
video frames
wide class