Review of Symbolic Logic 13 (4):776-796 (2020)

Abstract
We consider Hilbert-style non–well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020319000613
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: 59,827
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

Universal Grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
Infinitary Combinatorics and Modal Logic.Andreas Blass - 1990 - Journal of Symbolic Logic 55 (2):761-778.
Reflection Ranks and Ordinal Analysis.Fedor Pakhomov & James Walsh - forthcoming - Journal of Symbolic Logic:1-34.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Provability Logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.
Provability Logics with Quantifiers on Proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
Nested Sequents for Provability Logic GLP: FIG. 1.Daniyar Shamkanov - 2015 - Logic Journal of the IGPL 23 (5):789-815.
On the Provability Logic of Bounded Arithmetic.Rineke Verbrugge & Alessandro Berarducci - 1991 - Annals of Pure and Applied Logic 61 (1-2):75-93.
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Around Provability Logic.Leo Esakia - 2010 - Annals of Pure and Applied Logic 161 (2):174-184.
The Logic of Provability.Philip Scowcroft - 1995 - Philosophical Review 104 (4):627.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.
The Provability Logic for Σ1-Interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.

Analytics

Added to PP index
2019-11-27

Total views
5 ( #1,151,613 of 2,432,727 )

Recent downloads (6 months)
2 ( #294,374 of 2,432,727 )

How can I increase my downloads?

Downloads

My notes