A Systematic Presentation of Quantified Modal Logics.
Claudio CastelliniAlan SmaillPublished in: Log. J. IGPL (2002)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- epistemic logic
- multimedia
- conditional logic
- classical logic
- situation calculus
- default logic
- artificial intelligence
- autoepistemic logic
- theorem proving
- model checking
- qualitative and quantitative
- multi agent systems
- search algorithm
- dynamic logic