On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames.
Wesley H. HollidayPublished in: Stud Logica (2017)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- epistemic logic
- classical logic
- inference rules
- dynamic logic
- nonmonotonic logics
- situation calculus
- conditional logic
- default logic
- modal operators
- video frames
- autoepistemic logic
- explanation based generalization
- key frames
- sequent calculi
- model checking
- kripke models
- default theories
- model checker
- knowledge representation
- description logics