Terminating Minimal Model Generation Procedures for Propositional Modal Logics.
Fabio PapacchiniRenate A. SchmidtPublished in: IJCAR (2014)
Keyphrases
- modal logic
- prime implicates
- default logic
- autoepistemic logic
- minimal models
- temporal logic
- nonmonotonic logics
- inference rules
- decision procedures
- propositional logic
- classical logic
- epistemic logic
- default theories
- conditional logic
- default reasoning
- dynamic logic
- nonmonotonic reasoning
- situation calculus
- artificial intelligence
- first order logic
- kripke models
- computational complexity