Improved Decision Procedures for the Modal Logics K, T, and S4.

Jörg Hudelmaier

Published in: CSL (1995)

Keyphrases

decision procedures
modal logic
automated reasoning
theorem proving
inference rules
temporal logic
nonmonotonic logics
conjunctive queries
model theoretic
default logic
epistemic logic
quantified boolean formulas
knowledge base
computational complexity
data management
theorem prover