Countermodels from Sequent Calculi in Multi-Modal Logics.

Deepak Garg Valerio Genovese Sara Negri

Published in: LICS (2012)

Keyphrases

modal logic
sequent calculi
conditional logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
situation calculus
default logic
wide class
cut elimination
search algorithm
multi agent systems
satisfiability problem
sequent calculus