On the provability logic of bounded arithmetic

&
Annals of Pure and Applied Logic 61 (1-2):75-93 (1991)
  Copy   BIBTEX

Abstract

Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames

Categories

Keywords

Reprint years

1993

DOI

10.1016/0168-0072(93)90199-n

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Erratum to “Ordinal notations and well-orderings in bounded arithmetic” [Annals of Pure and Applied Logic 120 (2003) 197–223]. [REVIEW]Arnold Beckmann, Samuel R. Buss & Chris Pollett - 2003 - Annals of Pure and Applied Logic 123 (1-3):291.
Ordinal notations and well-orderings in bounded arithmetic.Arnold Beckmann, Chris Pollett & Samuel R. Buss - 2003 - Annals of Pure and Applied Logic 120 (1-3):197-223.
Efficient Metamathematics. Rineke - 1993 - Dissertation, Universiteit van Amsterdam
Kripke semantics for provability logic GLP.Lev D. Beklemishev - 2010 - Annals of Pure and Applied Logic 161 (6):756-774.
Provability multilattice logic.Yaroslav Petrukhin - 2022 - Journal of Applied Non-Classical Logics 32 (4):239-272.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
Around provability logic.Leo Esakia - 2010 - Annals of Pure and Applied Logic 161 (2):174-184.
A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.

Analytics

Added to PP
2013-11-03

Downloads
304 (#96,317)

6 months
104 (#62,635)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rineke (Laurina Christina) Verbrugge
University of Groningen

Citations of this work

Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.
No Escape from Vardanyan's theorem.Albert Visser & Maartje de Jonge - 2006 - Archive for Mathematical Logic 45 (5):539-554.

View all 8 citations / Add more citations

References found in this work

On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.

View all 9 references / Add more references