Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics.
Mark KaminskiThomas SchneiderGert SmolkaPublished in: TABLEAUX (2011)
Keyphrases
- decision procedures
- modal logic
- worst case
- temporal logic
- inference rules
- nonmonotonic logics
- reasoning problems
- upper bound
- np hard
- lower bound
- model theoretic
- model checking
- default logic
- special case
- theorem proving
- automated reasoning
- quantified boolean formulas
- modal operators
- kripke models
- artificial intelligence
- query containment
- situation calculus
- conjunctive queries
- data management
- graphical models
- optimal solution