A General Semantics for Quantified Modal Logic.
Robert GoldblattEdwin D. MaresPublished in: Advances in Modal Logic (2006)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- temporal logic
- inference rules
- dynamic logic
- special case
- modal operators
- autoepistemic logic
- default reasoning
- situation calculus
- logical framework
- decision procedures
- prime implicates
- default logic
- explanation based generalization
- incomplete information
- highly expressive
- description logic alc
- kripke models
- knowledge representation and reasoning
- classical logic
- nonmonotonic reasoning
- model checking
- domain knowledge