Modular Sequent Calculi for Classical Modal Logics.

David R. Gilbert Paolo Maffezioli

Published in: Stud Logica (2015)

Keyphrases

modal logic
sequent calculi
conditional logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
sequent calculus
cut elimination
model checking
situation calculus
default logic
nonmonotonic logics
natural language
constraint satisfaction