Notes on the Space Requirements for Checking Satisfiability in Modal Logics.
Marcus KrachtPublished in: Advances in Modal Logic (2002)
Keyphrases
- space requirements
- modal logic
- decision procedures
- temporal logic
- satisfiability problem
- inference rules
- space complexity
- suffix tree
- epistemic logic
- default logic
- nonmonotonic logics
- automated reasoning
- situation calculus
- inverted file
- theorem proving
- model checking
- np complete
- propositional logic
- computational complexity
- text retrieval
- multi dimensional
- integrity constraints
- relevance feedback