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

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 1981
DOI 10.2307/2273239
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


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

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

Similar books and articles

The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
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.
Proving Unprovability in Some Normal Modal Logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.
Interpolation and Preservation In.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.

Analytics

Added to PP index
2017-02-21

Total views
10 ( #906,450 of 2,533,574 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,574 )

How can I increase my downloads?

Downloads

My notes