A new proof of the fixed-point theorem of provability logic

Notre Dame Journal of Formal Logic 31 (1):37-43 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1990

DOI

10.1305/ndjfl/1093635331

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

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.
Characters and fixed-points in provability logic.Zachary Gleit & Warren Goldfarb - 1989 - Notre Dame Journal of Formal Logic 31 (1):26-36.
A new proof of the compactness theorem for propositional logic.Robert H. Cowen - 1970 - Notre Dame Journal of Formal Logic 11 (1):79-80.
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.D. Bollman & M. Tapia - 1972 - Notre Dame Journal of Formal Logic 13 (1):124-128.
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.
Note on Some Fixed Point Constructions in Provability Logic.Per Lindström - 2006 - Journal of Philosophical Logic 35 (3):225-230.
A proof of the Löwenheim-Skolem theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
A proof of a theorem of Ł ukasiewicz.Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (4):507-508.
A simple proof of Herbrand's theorem.Andrés R. Raggio - 1974 - Notre Dame Journal of Formal Logic 15 (3):487-488.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.

Analytics

Added to PP
2010-08-24

Downloads
49 (#502,979)

6 months
3 (#1,188,611)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A cut-free modal theory of consequence.Edson Bezerra - 2025 - Asian Journal of Philosophy 4 (1):1-21.
Definable fixed points in modal and temporal logics — a survey.Sergey Mardaev - 2007 - Journal of Applied Non-Classical Logics 17 (3):317-346.

Add more citations

References found in this work

No references found.

Add more references