If you need an accessible version of this item please contact JSTOR User Support

Modal Logic, Truth, and the Master Modality

Torben Braüner
Journal of Philosophical Logic
Vol. 31, No. 4 (Aug., 2002), pp. 359-386
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226760
Page Count: 28
  • Download PDF
  • Cite this Item

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.

If you need an accessible version of this item please contact JSTOR User Support
Modal Logic, Truth, and the Master Modality
Preview not available

Abstract

In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a socalled master modality. Moreover, we explore a connection between the master modality and hybrid logic: We show that if attention is restricted to bidirectional frames, then the expressive power of the master modality is exactly what is needed to translate the bounded fragment of first-order logic into hybrid logic in a truth preserving way. We believe that this throws new light on Arthur Prior's fourth grade tense logic.

Page Thumbnails

  • Thumbnail: Page 
[359]
    [359]
  • Thumbnail: Page 
360
    360
  • Thumbnail: Page 
361
    361
  • Thumbnail: Page 
362
    362
  • Thumbnail: Page 
363
    363
  • Thumbnail: Page 
364
    364
  • Thumbnail: Page 
365
    365
  • Thumbnail: Page 
366
    366
  • Thumbnail: Page 
367
    367
  • Thumbnail: Page 
368
    368
  • Thumbnail: Page 
369
    369
  • Thumbnail: Page 
370
    370
  • Thumbnail: Page 
371
    371
  • Thumbnail: Page 
372
    372
  • Thumbnail: Page 
373
    373
  • Thumbnail: Page 
374
    374
  • Thumbnail: Page 
375
    375
  • Thumbnail: Page 
376
    376
  • Thumbnail: Page 
377
    377
  • Thumbnail: Page 
378
    378
  • Thumbnail: Page 
379
    379
  • Thumbnail: Page 
380
    380
  • Thumbnail: Page 
381
    381
  • Thumbnail: Page 
382
    382
  • Thumbnail: Page 
383
    383
  • Thumbnail: Page 
384
    384
  • Thumbnail: Page 
385
    385
  • Thumbnail: Page 
386
    386