Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4.
Larisa MaksimovaPublished in: Advances in Modal Logic (2000)
Keyphrases
- modal logic
- default logic
- temporal logic
- classical logic
- inference rules
- desirable properties
- nonmonotonic logics
- decision procedures
- dynamic logic
- epistemic logic
- conditional logic
- explanation based generalization
- default theories
- autoepistemic logic
- situation calculus
- description logic alc
- kripke models
- nonmonotonic reasoning
- prime implicates