Review of Symbolic Logic 6 (1):1-18 (2013)

Abstract
Solovay proved the arithmetical completeness theorem for the system GL of propositional modal logic of provability. Montagna proved that this completeness does not hold for a natural extension QGL of GL to the predicate modal logic. Let Th(QGL) be the set of all theorems of QGL, Fr(QGL) be the set of all formulas valid in all transitive and conversely well-founded Kripke frames, and let PL(T) be the set of all predicate modal formulas provable in Tfor any arithmetical interpretation. Montagna’s results are described as Th(QGL) ⊊ (Fr(QGL), PL(PA) ⊈ Fr(QGL), and Th(QGL) ⊊ PL(PA). In this paper, we prove the following three theorems: (1) Fr(QGL) ⊈ PL(T) for any Σ1-sound recursively enumerable extension T of I Σ1, (2) PL(T) ⊈ Fr(QGL) for any recursively enumerable S1755020312000275_inline1 A -theory T extending I Σ1, and (3) Th(QGL) ⊊ Fr(QGL) ∩ PL(T) for any recursively enumerable S1755020312000275_inline2 A -theory T extending I Σ2. To prove these theorems, we use iterated consistency assertions and nonstandard models of arithmetic, and we improve Artemov’s lemma which is used to prove Vardanyan’s theorem on the Π0 2-completeness of PL(T)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2013
DOI 10.1017/s1755020312000275
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,262
Through your library

References found in this work BETA

Transfinite Recursive Progressions of Axiomatic Theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
The Logic of Provability.Philip Scowcroft - 1995 - Philosophical Review 104 (4):627.
The Predicate Modal Logic of Provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.

View all 7 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2013-11-02

Total views
25 ( #440,231 of 2,455,770 )

Recent downloads (6 months)
1 ( #449,201 of 2,455,770 )

How can I increase my downloads?

Downloads

My notes