Peircean Graphs for the Modal Logic S5.

Torben Braüner

Published in: ICCS (1998)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
situation calculus
conditional logic
nonmonotonic logics
graph matching
graph theoretic
dynamic logic
multi agent
default logic
explanation based generalization
graph mining