Modal logic, truth, and the master modality

Journal of Philosophical Logic 31 (4):359-386 (2002)
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
Keywords homophonic theories of truth  hybrid logic  modal logic
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1019992820056
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,827
Through your library
References found in this work BETA
Time and Modality.A. N. Prior - 1955 - Greenwood Press.
First-Order Modal Logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.

View all 10 references / Add more references

Citations of this work BETA
Arthur Prior and Hybrid Logic.Patrick Blackburn - 2006 - Synthese 150 (3):329-372.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
68 ( #83,585 of 2,211,068 )

Recent downloads (6 months)
1 ( #380,767 of 2,211,068 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature