Characters and fixed-points in provability logic

&
Notre Dame Journal of Formal Logic 31 (1):26-36 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1990

DOI

10.1305/ndjfl/1093635330

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,894

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

Zachary Gleit and Warren Goldfarb. Characters and fixed points in provability logic. Notre Dame journal of formal logic., pp. 26–36. [REVIEW]Franco Montagna - 1993 - Journal of Symbolic Logic 58 (2):715-715.
A new proof of the fixed-point theorem of provability logic.Lisa Reidhaar-Olson - 1989 - Notre Dame Journal of Formal Logic 31 (1):37-43.
Lisa Reidhaar-Olson. A new proof of the fixed-point theorem of provability logic. Notre Dame journal of formal logic, vol. 31 , pp. 37–43. [REVIEW]Franco Montagna - 1993 - Journal of Symbolic Logic 58 (2):714-715.
Effective extendability and fixed points.Thomas H. Payne - 1973 - Notre Dame Journal of Formal Logic 14 (1):123-124.
Provable fixed points in ${\rm I}\Delta0+\Omega1$.Alessandra Carbone - 1991 - Notre Dame Journal of Formal Logic 32 (4):562-572.
The predicate modal logic of provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.
The modal logic of pure provability.Samuel R. Buss - 1990 - Notre Dame Journal of Formal Logic 31 (2):225-231.
On propositional quantifiers in provability logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Explicit modal logic, informal provability and Montague's Paradox.W. Dean - forthcoming - Notre Dame Journal of Formal Logic.

Analytics

Added to PP
2010-08-24

Downloads
55 (#438,178)

6 months
9 (#460,209)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Warren Goldfarb
Harvard University

Citations of this work

An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.
On propositional quantifiers in provability logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references