The Logic of Provability

Philosophical Review 104 (4):627 (1995)
  Copy   BIBTEX

Abstract

This is a book that every enthusiast for Gödel’s proofs of his incompleteness theorems will want to own. It gives an up-to-date account of connections between systems of modal logic and results on provability in formal systems for arithmetic, analysis, and set theory.

Categories

Keywords

Reprint years

ISBN(s)

00318108

DOI

10.2307/2185837

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

On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
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.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
A modal provability logic of explicit and implicit proofs.Evan Goris - 2010 - Annals of Pure and Applied Logic 161 (3):388-403.
The analytical completeness of Dzhaparidze's polymodal logics.George Boolos - 1993 - Annals of Pure and Applied Logic 61 (1-2):95-111.
Franco Montagna’s Work on Provability Logic and Many-valued Logic.Lev Beklemishev & Tommaso Flaminio - 2016 - Studia Logica 104 (1):1-46.
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.
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
Provability, truth, and modal logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.
On the nonexistence of certain normal forms in the logic of provability.George Boolos - 1982 - Journal of Symbolic Logic 47 (3):638-640.

Analytics

Added to PP
2012-03-18

Downloads
22 (#690,757)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.

View all 40 citations / Add more citations

References found in this work

No references found.

Add more references