Modal Frame Correspondences and Fixed-Points
- Cite this article as:
- Benthem, J.V. Stud Logica (2006) 83: 133. doi:10.1007/s11225-006-8301-9
Taking Löb's Axiom in modal provability logic as a running thread, we discuss some general methods for extending modal frame correspondences, mainly by adding fixed-point operators to modal languages as well as their correspondence languages. Our suggestions are backed up by some new results – while we also refer to relevant work by earlier authors. But our main aim is advertizing the perspective, showing how modal languages with fixed-point operators are a natural medium to work with.
KeywordsLöb's Axiom fixed-point frame correspondence modal μ-calculus
Unable to display preview. Download preview PDF.