Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Modal Frame Correspondences and Fixed-Points

Johan van Benthem
Studia Logica: An International Journal for Symbolic Logic
Vol. 83, No. 1/3, Special Issue in Memory of Willem Johannes Blok (Jun. - Aug., 2006), pp. 133-155
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016802
Page Count: 23
  • Download ($43.95)
  • Cite this Item
Modal Frame Correspondences and Fixed-Points
Preview not available

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 perspectives, showing how modal languages with fixed-point operators are a natural medium to work with.

Page Thumbnails

  • Thumbnail: Page 
[133]
    [133]
  • Thumbnail: Page 
134
    134
  • Thumbnail: Page 
135
    135
  • Thumbnail: Page 
136
    136
  • Thumbnail: Page 
137
    137
  • Thumbnail: Page 
138
    138
  • Thumbnail: Page 
139
    139
  • Thumbnail: Page 
140
    140
  • Thumbnail: Page 
141
    141
  • Thumbnail: Page 
142
    142
  • Thumbnail: Page 
143
    143
  • Thumbnail: Page 
144
    144
  • Thumbnail: Page 
145
    145
  • Thumbnail: Page 
146
    146
  • Thumbnail: Page 
147
    147
  • Thumbnail: Page 
148
    148
  • Thumbnail: Page 
149
    149
  • Thumbnail: Page 
150
    150
  • Thumbnail: Page 
151
    151
  • Thumbnail: Page 
152
    152
  • Thumbnail: Page 
153
    153
  • Thumbnail: Page 
154
    154
  • Thumbnail: Page 
155
    155