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: 92,471

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 of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Review: Robert M. Solovay, Provability Interpretations of Modal Logic. [REVIEW]George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
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.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
Preservativity logic: An analogue of interpretability logic for constructive theories.Rosalie Iemhoff - 2003 - Mathematical Logic Quarterly 49 (3):230-249.
On predicate provability logics and binumerations of fragments of Peano arithmetic.Taishi Kurahashi - 2013 - Archive for Mathematical Logic 52 (7-8):871-880.
Proof-theoretic modal PA-Completeness II: The syntactic countermodel.Paolo Gentilini - 1999 - Studia Logica 63 (2):245-268.
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.

Analytics

Added to PP
2017-02-21

Downloads
35 (#460,468)

6 months
17 (#154,450)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Solovay
University of California, Berkeley

Citations of this work

The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.
Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.

View all 50 citations / Add more citations

References found in this work

No references found.

Add more references