Sequent Calculi for Multi-modal Logic with Interaction.

Published in: LORI (2013)

Keyphrases

modal logic
sequent calculi
conditional logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
situation calculus
classical logic
epistemic logic
default logic
prime implicates
autoepistemic logic
modal operators
explanation based generalization
multi agent
dynamic logic
graphical models