Some failures of interpolation in modal logic.
George F. SchummPublished in: Notre Dame J. Formal Log. (1986)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- classical logic
- epistemic logic
- default logic
- image interpolation
- interpolation methods
- root cause
- dynamic logic
- interpolation method
- situation calculus
- linear interpolation
- autoepistemic logic
- conditional logic
- explanation based generalization