How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.
Alexander V. ChagrovMikhail N. RybakovPublished in: Advances in Modal Logic (2002)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- classical logic
- theorem proving
- nonmonotonic logics
- model checking
- automated reasoning
- default logic
- epistemic logic
- situation calculus
- mazurkiewicz traces
- satisfiability problem
- computational complexity
- random variables
- autoepistemic logic
- graphical models
- cooperative