Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.
Kai EngelhardtRon van der MeydenKaile SuPublished in: Advances in Modal Logic (2002)
Keyphrases
- modal logic
- inference rules
- default logic
- first order logic
- autoepistemic logic
- decision procedures
- temporal logic
- nonmonotonic logics
- propositional logic
- epistemic logic
- theorem proving
- classical logic
- situation calculus
- model checking
- horn clauses
- conditional logic
- incomplete information
- hierarchical structure
- default reasoning
- knowledge representation
- special case
- natural language