Studia Logica 108 (3):597-617 (2020)

Abstract
In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose provability logic is exactly the normal modal logic \. Secondly, we introduce a new normal modal logic \ which is a proper extension of \, and prove that there exists a Rosser provability predicate whose provability logic includes \.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-019-09865-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


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

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
The Logic of Provability.Philip Scowcroft - 1995 - Philosophical Review 104 (4):627.

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

[Omnibus Review].Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
Omnibus Review. [REVIEW]Vann Mcgee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
Provability Logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
A Modal Provability Logic of Explicit and Implicit Proofs.Evan Goris - 2009 - Annals of Pure and Applied Logic 161 (3):388-403.
Provability Logics with Quantifiers on Proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
The Analytical Completeness of Dzhaparidze's Polymodal Logics.George Boolos - 1993 - Annals of Pure and Applied Logic 61 (1-2):95-111.
Logic of Proofs and Provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Around Provability Logic.Leo Esakia - 2009 - Annals of Pure and Applied Logic 161 (2):174-184.

Analytics

Added to PP index
2019-05-16

Total views
14 ( #643,674 of 2,325,392 )

Recent downloads (6 months)
5 ( #171,137 of 2,325,392 )

How can I increase my downloads?

Downloads

My notes