The necessity of the past and modal-tense logic incompleteness.
Michael J. WhitePublished in: Notre Dame J. Formal Log. (1984)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- logic programming
- temporal logic
- dynamic logic
- classical logic
- transition systems
- modal operators
- temporal relations
- kripke models
- automated reasoning
- inference rules
- historical information
- default logic
- deontic logic
- proof theory
- knowledge representation
- sound and complete axiomatization
- real world