On Evaluating Decision Procedures for Modal Logic.

Ullrich Hustadt Renate A. Schmidt

Published in: IJCAI (1) (1997)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
model theoretic
classical logic
nonmonotonic logics
default logic
model checking
conditional logic
quantified boolean formulas
knowledge base
situation calculus
nonmonotonic reasoning
dynamic logic
machine learning