PSPACE bounds for rank-1 modal logics.
Lutz SchröderDirk PattinsonPublished in: ACM Trans. Comput. Log. (2009)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- mazurkiewicz traces
- lower bound
- model checking
- upper bound
- classical logic
- default logic
- situation calculus
- theorem proving
- nonmonotonic logics
- worst case
- epistemic logic
- automated reasoning
- satisfiability problem
- complexity bounds
- default reasoning
- autoepistemic logic
- model checker
- expert systems