George Boolos, The Logic of Provability [Book Review]

Philosophy in Review 15:310-312 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

George Boolos, The Logic of Provability Reviewed by.Helen Billinge - 1995 - Philosophy in Review 15 (5):310-312.
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Provability, truth, and modal logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.
On systems of modal logic with provability interpretations.George Boolos - 1980 - Theoria 46 (1):7-18.
On the nonexistence of certain normal forms in the logic of provability.George Boolos - 1982 - Journal of Symbolic Logic 47 (3):638-640.
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.
The degree of the set of sentences of predicate provability logic that are true under every interpretation.George Boolos & Vann McGee - 1987 - Journal of Symbolic Logic 52 (1):165-171.
On deciding the provability of certain fixed point statements.George Boolos - 1977 - Journal of Symbolic Logic 42 (2):191-193.
The analytical completeness of Dzhaparidze's polymodal logics.George Boolos - 1993 - Annals of Pure and Applied Logic 61 (1-2):95-111.
Logic, Logic, and Logic.George Boolos - 1998 - Cambridge, Mass: Harvard University Press. Edited by Richard C. Jeffrey.
The death of George Boolos creates a vacancy in the office of ASL Pres-ident, which it is the responsibility of the Executive Committee to fill. The Committee has asked Menachem Magidor, elected Vice President for 1995-98, to accept the Presidency, and he has agreed to serve the remainder of Boolos's term, to January 1, 1998. [REVIEW]George Boolos - 1996 - Bulletin of Symbolic Logic 2 (3).
Logics of Provability. [REVIEW]Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110 - 116.
Provability: The emergence of a mathematical modality.George Boolos & Giovanni Sambin - 1991 - Studia Logica 50 (1):1 - 23.
G. BOOLOS "The logic of provability". [REVIEW]G. Helman - 1995 - History and Philosophy of Logic 16 (2):284.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references