BDD-based decision procedures for the modal logic K.

Guoqiang Pan Ulrike Sattler Moshe Y. Vardi

Published in: J. Appl. Non Class. Logics (2006)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
binary decision diagrams
epistemic logic
dynamic logic
nonmonotonic logics
conditional logic
situation calculus
default logic
model theoretic
prime implicates
expert systems
theorem proving
model checking
state space
search space