G. BOOLOS "The logic of provability" [Book Review]

History and Philosophy of Logic 16 (2):284 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

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

Logic, Mathematics, and Philosophy: Review of G. Boolos, Logic, Logic, and Logic. [REVIEW]Alex Oliver - 2000 - British Journal for the Philosophy of Science 51 (4):857-873.
George Boolos, The Logic of Provability. [REVIEW]Helen Billinge - 1995 - Philosophy in Review 15:310-312.
Review of G. Boolos, Logic, Logic, and Logic.Michael D. Resnik - 1999 - Philosophia Mathematica 7 (3):328-335.
Book reviews. [REVIEW]Brian Vickers, I. Gullvåg, L. Albertazzi, O. N. H. Leman, T. L. S. Sprigge, R. Hülsen, Riccardo Pozzo, M. Scanlan, Douglas Walton, G. Helman, Kenneth G. Ferguson, Anthony Preus, Javier De Lorenzo & Ole Immanuel Franksen - 1995 - History and Philosophy of Logic 16 (2):269-293.
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.
Proof-theoretic modal PA-Completeness II: The syntactic countermodel.Paolo Gentilini - 1999 - Studia Logica 63 (2):245-268.
[Omnibus Review].William Demopoulos - 1998 - Journal of Symbolic Logic 63 (4):1598-1602.
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.
How to extend the dialogical approach to provability logic.Ulrich Nortmann - 2001 - Synthese 127 (1-2):95 - 103.
A note on the normal form of closed formulas of interpretability logic.Petr Hájek & Vítězslav Švejdar - 1991 - Studia Logica 50 (1):25 - 28.

Analytics

Added to PP
2015-02-07

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?

Author's Profile

Glen Helman
Wabash College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references