A Note on Axiomatisations of Two-Dimensional Modal Logics.

Published in: ICLA (2013)

Keyphrases

modal logic
temporal logic
decision procedures
three dimensional
inference rules
nonmonotonic logics
default logic
epistemic logic
classical logic
conditional logic
situation calculus
dynamic programming
data management
multi faceted
modal operators
dynamic logic