and Modal Logic with Quantified Binary Relations.

Lauri Hella Antti Kuusisto

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

modal logic
binary relations
inference rules
temporal logic
graph theoretic
nonmonotonic logics
transitive closure
default logic
model checking
situation calculus
artificial intelligence
bayesian networks
case based reasoning
incomplete information
semantic network