Derivability conditions on Rosser's provability predicates

Notre Dame Journal of Formal Logic 31 (4):487-497 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635585

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.
Giving an account of provability within a theory.Peter Roeper - 2003 - Philosophia Mathematica 11 (3):332-340.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
Incompleteness in a general setting (vol 13, pg 21, 2007).John L. Bell - 2008 - Bulletin of Symbolic Logic 14 (1):21 - 30.
Back to basics: Revisiting the incompleteness theorems.Peter Smith - unknown
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Rosser orderings and free variables.Dick Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71 - 80.
Confirmation theory, order, and periodicity.Peter Achinstein - 1963 - Philosophy of Science 30 (1):17-35.
Predicate provability logic with non-modalized quantifiers.Giorgie Dzhaparidze - 1991 - Studia Logica 50 (1):149 - 160.
Redundancies in the Hilbert-Bernays derivability conditions for gödel's second incompleteness theorem.R. G. Jeroslow - 1973 - Journal of Symbolic Logic 38 (3):359-367.
Minimalism, fiction and ethical truth.Graham Oppy - manuscript
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
Cn-definitions of propositional connectives.Witold A. Pogorzelski & Piotr Wojtylak - 2001 - Studia Logica 67 (1):1-26.
Vague predicates and language games.Rohit Parikh - 1996 - Theoria 11 (3):97-107.
Long wave chaos and systemic economic transformation.J. Barkley Rosser & Marina Vcherashnaya Rosser - 1994 - World Futures 39 (4):197-207.

Analytics

Added to PP
2010-08-24

Downloads
47 (#330,788)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
A note on derivability conditions.Taishi Kurahashi - 2020 - Journal of Symbolic Logic 85 (3):1224-1253.
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references