On a Graph Approach to Modal Logics.

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

Published in: LSFA (2013)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
classical logic
graph structure
directed graph
situation calculus
random walk
graph theory
artificial intelligence
weighted graph
default logic
bayesian networks
model checking
query processing
autoepistemic logic