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: 93,774

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

Review: Robert M. Solovay, Provability Interpretations of Modal Logic. [REVIEW]George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Review of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Robert M. Solovay. Provability interpretations of modal logic. Israel journal of mathematics, vol. 25 , pp. 287–304.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
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.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Kristina Brantley - 2020 - Bulletin of Symbolic Logic 26 (3-4):296-296.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Guram Bezhanishvili, Kristina Brantley & Julia Ilin - 2023 - Journal of Symbolic Logic 88 (1):427-467.
The Modal Logics of Kripke-Feferman Truth.Carlo Nicolai & Johannes Stern - manuscript
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
Review: Robert M. Solovay, A Nonconstructible $bigtriangleup_{3}^{1}$ Set of Integers. [REVIEW]Donald A. Martin - 1971 - Journal of Symbolic Logic 36 (2):340-340.

Analytics

Added to PP
2017-02-21

Downloads
36 (#119,765)

6 months
16 (#899,032)

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