Studia Logica 110 (1):165-188 (2022)

Abstract
We investigate several consequences of inclusion relations between quantified provability logics. Moreover, we give a necessary and sufficient condition for the inclusion relation between quantified provability logics with respect to \ arithmetical interpretations.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-021-09957-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,316
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

The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
Four Valued Semantics and the Liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.
The Predicate Modal Logic of Provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.
Omnibus Review. [REVIEW]Vann Mcgee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
[Omnibus Review].Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
The Analytical Completeness of Dzhaparidze's Polymodal Logics.George Boolos - 1993 - Annals of Pure and Applied Logic 61 (1-2):95-111.
On Bimodal Logics of Provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.
A Course on Bimodal Provability Logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
Provability Logics with Quantifiers on Proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
Bimodal Logics for Extensions of Arithmetical Theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.

Analytics

Added to PP index
2021-07-16

Total views
2 ( #1,453,261 of 2,519,309 )

Recent downloads (6 months)
1 ( #407,861 of 2,519,309 )

How can I increase my downloads?

Downloads

My notes