On Graph Calculi for Multi-modal Logics.

Paulo A. S. Veloso Sheila R. M. Veloso Mario R. F. Benevides

Published in: LSFA (2014)

Keyphrases

modal logic
sequent calculi
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
directed graph
default logic
graph theory
conditional logic
graph structure
autoepistemic logic
sequent calculus
theorem proving
random walk
kripke models