Robert M. Solovay. Provability interpretations of modal logic. Israel journal of mathematics, vol. 25 , pp. 287–304

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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

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. Lévy and R. M. Solovay. Measurable cardinals and the continuum hypothesis. Israel journal of mathematics, vol. 5 (1967), pp. 234–248. [REVIEW]R. M. Solovay - 1970 - Journal of Symbolic Logic 34 (4):654-655.
A. Lévy and R. M. Solovay. Measurable cardinals and the continuum hypothesis. Israel journal of mathematics, vol. 5 (1967), pp. 234–248. [REVIEW]F. R. Drake - 1970 - Journal of Symbolic Logic 34 (4):654-655.
George Boolos and Vann McGee. The degree of the set of sentences of predicate provability logic that are true under every interpretation. The journal of symbolic logic, vol. 52 , pp. 165–171.Albert Visser - 1991 - Journal of Symbolic Logic 56 (1):332.
Robert M. Solovay. A model of set-theory in which every set of reals is Lebesgue measurable. Annals of mathematics, ser. 2 vol. 92 , pp. 1–56. [REVIEW]Richard Laver - 1973 - Journal of Symbolic Logic 38 (3):529.
Omega-consistency and the diamond.George Boolos - 1980 - Studia Logica 39 (2-3):237 - 243.
Loeb Peter A.. Conversion from nonstandard to standard measure spaces and applications in probability theory. Transactions of the American Mathematical Society, vol. 211 , pp. 113–122.Anderson Robert M.. A non-standard representation for Brownian motion and ltô integration. Israel journal of mathematics, vol. 25 , pp. 15–46. [REVIEW]K. D. Stroyan - 1985 - Journal of Symbolic Logic 50 (1):243-243.
George Boolos. The logic of provability. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xxxvi + 276 pp. [REVIEW]Sergei Artemov - 1995 - Journal of Symbolic Logic 60 (4):1316-1317.

Analytics

Added to PP
2013-11-22

Downloads
80 (#282,370)

6 months
16 (#194,991)

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