Dual-Context Calculi for Modal Logic.

Published in: CoRR (2016)

Keyphrases

modal logic
sequent calculi
temporal logic
inference rules
classical logic
epistemic logic
decision procedures
contextual information
dynamic logic
conditional logic
context aware
situation calculus
autoepistemic logic
nonmonotonic logics
kripke models