Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
Joseph Y. HalpernLeandro Chaves RêgoPublished in: CoRR (2006)
Keyphrases
- modal logic
- temporal logic
- satisfiability problem
- mazurkiewicz traces
- decision procedures
- model checking
- pspace complete
- np complete
- sat problem
- inference rules
- epistemic logic
- stochastic local search algorithms
- nonmonotonic logics
- conditional logic
- situation calculus
- classical logic
- stochastic local search
- max sat
- dynamic logic
- np hard
- default logic
- belief revision
- conjunctive normal form