Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.
Valentin GorankoSteen VesterPublished in: Advances in Modal Logic (2014)
Keyphrases
- decision procedures
- modal logic
- temporal logic
- satisfiability problem
- mazurkiewicz traces
- model checking
- reasoning problems
- inference rules
- automated reasoning
- theorem proving
- epistemic logic
- quantified boolean formulas
- optimal solution
- belief revision
- predicate logic
- default logic
- situation calculus
- np complete
- conjunctive queries
- unions of conjunctive queries
- sequent calculus
- special case
- artificial intelligence