Studia Logica

, Volume 83, Issue 1–3, pp 133–155

Modal Frame Correspondences and Fixed-Points


DOI: 10.1007/s11225-006-8301-9

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.


Löb's Axiom fixed-point frame correspondence modal μ-calculus 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science + Business Media, Inc. 2006

Authors and Affiliations

  1. 1.ILLCUniversity of AmsterdamAmsterdamNetherlands
  2. 2.Department of PhilosophyStanford UniversityStanfordUSA

Personalised recommendations