The Validities of PEP and Some Characteristic Formulas in Modal Logic.
Hong ZhangHuacan HePublished in: AIAI (2005)
Keyphrases
- modal logic
- modal operators
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- classical logic
- default logic
- epistemic logic
- situation calculus
- dynamic logic
- conditional logic
- description logic alc
- action theories
- prime implicates
- mathematical formulas
- horn clauses
- model checking
- explanation based generalization