More Evaluation of Decision Procedures for Modal Logics.

Enrico Giunchiglia Fausto Giunchiglia Roberto Sebastiani Armando Tacchella

Published in: KR (1998)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
temporal logic
inference rules
model theoretic
conjunctive queries
satisfiability problem
quantified boolean formulas
nonmonotonic logics
tight complexity bounds
epistemic logic
default logic
theorem prover
lower bound
optimal solution