QMML: Quantified Minimal Modal Logic and Its Applications.
Audun StolpePublished in: Log. J. IGPL (2003)
Keyphrases
- modal logic
- temporal logic
- inference rules
- prime implicates
- decision procedures
- classical logic
- situation calculus
- default logic
- nonmonotonic logics
- epistemic logic
- explanation based generalization
- description logic alc
- dynamic logic
- conditional logic
- model checking
- first order logic
- relational databases
- cooperative
- artificial intelligence