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 |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
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.
Similar books and articles
The Analytical Completeness of Dzhaparidze's Polymodal Logics.George Boolos - 1993 - Annals of Pure and Applied Logic 61 (1-2):95-111.
On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
On Predicate Provability Logics and Binumerations of Fragments of Peano Arithmetic.Taishi Kurahashi - 2013 - Archive for Mathematical Logic 52 (7-8):871-880.
Reduction of Provability Logics to Σ1-Provability Logics.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2015 - Logic Journal of the IGPL 23 (5):842-847.
All Finitely Axiomatizable Subframe Logics Containing the Provability Logic CSM $_{0}$ Are Decidable.Frank Wolter - 1998 - Archive for Mathematical Logic 37 (3):167-182.
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.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
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.
S. N. Artemov. Arithmetically Complete Modal Theories. Six Papers in Logic, American Mathematical Society Translations, Ser. 2 Vol. 135, American Mathematical Society, Providence1987, Pp. 39–54. , Vol. 14 , Pp. 115–133.) - S. N. Artemov. On Modal Logics Axiomatizing Provability. Mathematics of the USSR—Izvestiya, Vol. 27 No. 3 , Pp. 401–429. , Pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of Truth Predicate Logics of Provability. Soviet Mathematics—Doklady, Vol. 32 , Pp. 403–405. , Pp. 270–271.) - V. A. Vardanyan. Arithmetic Complexity of Predicate Logics of Provability and Their Fragments. Soviet Mathematics—Doklady, Vol. 33 No. 3 , Pp. 569–572. , Pp. 11–14.) - S. N. Artemov. Numerically Correct Provability Logics. Soviet Mathematics—Doklady, Vol. 34 , Pp. 384–387. , Pp. 1289–1292.). [REVIEW]Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
Provability Logics Relative to a Fixed Extension of Peano Arithmetic.Taishi Kurahashi - 2018 - Journal of Symbolic Logic 83 (3):1229-1246.
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 )
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
