The global properties of valid formulas in modal logic K.
Jigui SunXiaochun ChengXuhua LiuPublished in: J. Comput. Sci. Technol. (1996)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- modal operators
- kripke models
- epistemic logic
- classical logic
- nonmonotonic logics
- default logic
- explanation based generalization
- horn clauses
- situation calculus
- global structure
- desirable properties
- model checking
- autoepistemic logic
- dynamic logic
- description logic alc
- np complete