Modal Frame Correspondences and Fixed-Points
| Authors | |
|---|---|
| Publication date | 2006 |
| Journal | Studia Logica |
| Volume | Issue number | 83 | 1/3 |
| Pages (from-to) | 133-155 |
| Organisations |
|
| Abstract | 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. |
| Document type | Article |
| Note | Special Issue in Memory of Willem Johannes Blok |
| Language | English |
| Published at | https://doi.org/10.1007/s11225-006-8301-9 |
| Permalink to this page | |