Eliminability of cut in hypersequent calculi for some modal logics of linear frames.

Andrzej Indrzejczak

Published in: Inf. Process. Lett. (2015)

Keyphrases

modal logic
sequent calculi
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
conditional logic
model checking
video frames
theorem proving
kripke models
artificial intelligence
autoepistemic logic
formal semantics
sufficient conditions
moving objects
cooperative