Review of Robert M. Solovay's Provability Interpretations of Modal Logic

Journal of Symbolic Logic 46 (3):661-662 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273766

Links

PhilArchive



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

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 knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.
A modal provability logic of explicit and implicit proofs.Evan Goris - 2010 - Annals of Pure and Applied Logic 161 (3):388-403.
Review: Robert M. Solovay, Provability Interpretations of Modal Logic. [REVIEW]George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
Around provability logic.Leo Esakia - 2010 - Annals of Pure and Applied Logic 161 (2):174-184.
Preservativity logic: An analogue of interpretability logic for constructive theories.Rosalie Iemhoff - 2003 - Mathematical Logic Quarterly 49 (3):230-249.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
Proof-theoretic modal PA-Completeness II: The syntactic countermodel.Paolo Gentilini - 1999 - Studia Logica 63 (2):245-268.
On predicate provability logics and binumerations of fragments of Peano arithmetic.Taishi Kurahashi - 2013 - Archive for Mathematical Logic 52 (7-8):871-880.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
On systems of modal logic with provability interpretations.George Boolos - 1980 - Theoria 46 (1):7-18.
Arithmetical interpretations and Kripke frames of predicate modal logic of provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.

Analytics

Added to PP
2015-02-05

Downloads
37 (#423,461)

6 months
7 (#416,569)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
Provability algebras and proof-theoretic ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.
Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.

View all 33 citations / Add more citations

References found in this work

No references found.

Add more references