The Modal Logic of Gödel Sentences

Journal of Philosophical Logic 39 (5):577 - 590 (2010)
Abstract
The modal logic of Gödel sentences, termed as GS, is introduced to analyze the logical properties of 'true but unprovable' sentences in formal arithmetic. The logic GS is, in a sense, dual to Grzegorczyk's Logic, where modality can be interpreted as 'true and provable'. As we show, GS and Grzegorczyk's Logic are, in fact, mutually embeddable. We prove Kripke completeness and arithmetical completeness for GS. GS is also an extended system of the logic of 'Essence and Accident' proposed by Marcos (Bull Sect Log 34(1):43-56, 2005). We also clarify the relationships between GS and the provability logic GL and between GS and Intuitionistic Propositional Logic
Keywords Modal logic  Gödel incompleteness theorems
Categories (categorize this paper)
DOI 10.1007/s10992-010-9140-8
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,769
Through your library
References found in this work BETA
Modal Logic.Alexander Chagrov - 1997 - Oxford University Press.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Fuzzy Logic and Arithmetical Hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.

Monthly downloads

Added to index

2010-06-09

Total downloads

77 ( #67,189 of 2,158,887 )

Recent downloads (6 months)

3 ( #132,309 of 2,158,887 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums