Studia Logica 106 (6):1181-1196 (2018)

Abstract
We prove that for each recursively axiomatized consistent extension T of Peano Arithmetic and \, there exists a \ numeration \\) of T such that the provability logic of the provability predicate \\) naturally constructed from \\) is exactly \ \rightarrow \Box p\). This settles Sacchetti’s problem affirmatively.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-017-9782-4
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,132
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Four Valued Semantics and the Liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
The Logic of Provability.Philip Scowcroft - 1995 - Philosophical Review 104 (4):627.
The Logic of Provability.Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110-116.

View all 9 references / Add more references

Citations of this work BETA

Another Look at the Second Incompleteness Theorem.Albert Visser - 2020 - Review of Symbolic Logic 13 (2):269-295.
The Absorption Law: Or: How to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.

Add more citations

Similar books and articles

Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
Interpretability Over Peano Arithmetic.Claes Strannegard - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
On P-Reducibility of Numerations.A. N. Degtev - 1993 - Annals of Pure and Applied Logic 63 (1):57-60.
Interpretability Over Peano Arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Hammond.Claes Strannegard - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Fuzzy Logic and Arithmetical Hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.

Analytics

Added to PP index
2018-02-10

Total views
14 ( #712,413 of 2,454,754 )

Recent downloads (6 months)
1 ( #449,241 of 2,454,754 )

How can I increase my downloads?

Downloads

My notes