The Unprovability of Consistency. An Essay in Modal Logic

Journal of Symbolic Logic 46 (4):871-873 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1981

DOI

10.2307/2273239

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

The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Review: George Boolos, The Unprovability of Consistency. An Essay in Modal Logic. [REVIEW]C. Smorynski - 1981 - Journal of Symbolic Logic 46 (4):871-873.
The Unprovability of Consistency. [REVIEW]M. M. R. - 1982 - Review of Metaphysics 35 (3):592-592.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Unprovability and Proving Unprovability.Mingzhong Cai - 2015 - Studia Logica 103 (3):559-578.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
The Unprovability of the Consistency.Georges Boolos - 1982 - Studia Logica 41 (1):83-84.
Unprovability of consistency statements in fragments of bounded arithmetic.Samuel R. Buss & Aleksandar Ignjatović - 1995 - Annals of Pure and Applied Logic 74 (3):221-244.
Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
Shocking(?) Unprovability.Harvey M. Friedman - unknown
A philosophical remark on Gödel's unprovability of consistency proof.Francesca Rivetti Barbò - 1968 - Notre Dame Journal of Formal Logic 9 (1):67-74.
Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.
Exact unprovability results for compound well-quasi-ordered combinatorial classes.Andrey Bovykin - 2009 - Annals of Pure and Applied Logic 157 (2-3):77-84.
Interpolation and Preservation in.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.

Analytics

Added to PP
2017-02-21

Downloads
17 (#849,202)

6 months
3 (#1,002,413)

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 modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.

View all 36 citations / Add more citations

References found in this work

No references found.

Add more references