The Logic of Provability

Bulletin of Symbolic Logic 6 (4):472-473 (2000)

Authors
Dick De De Jongh
University of Amsterdam
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/420974
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


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

No references found.

Add more references

Citations of this work BETA

Proving Unprovability.Bruno Whittle - 2017 - Review of Symbolic Logic 10 (1):92–115.
Liar-Type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
Transductions in Arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.

Add more citations

Similar books and articles

On the Provability Logic of Bounded Arithmetic.Rineke Verbrugge & Alessandro Berarducci - 1991 - Annals of Pure and Applied Logic 61 (1-2):75-93.
Logic of Proofs and Provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
REVIEWS-The Logic of Provability.G. Japaridze, D. De Jongh & Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):472-472.
A Modal Provability Logic of Explicit and Implicit Proofs.Evan Goris - 2009 - Annals of Pure and Applied Logic 161 (3):388-403.
The Decision Problem of Provability Logic with Only One Atom.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (8):763-768.
Provability Logics with Quantifiers on Proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
A Course on Bimodal Provability Logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
Closed Fragments of Provability Logics of Constructive Theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.

Analytics

Added to PP index
2015-02-06

Total views
1 ( #1,336,384 of 2,248,571 )

Recent downloads (6 months)
1 ( #1,031,479 of 2,248,571 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature