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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Review: Lisa Reidhaar-Olson, A New Proof of the Fixed-Point Theorem of Provability Logic. [REVIEW]Franco Montagna - 1993 - Journal of Symbolic Logic 58 (2):714-715.
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 simple proof of Herbrand's theorem.Andrés R. Raggio - 1974 - Notre Dame Journal of Formal Logic 15 (3):487-488.
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.

Analytics

Added to PP
2010-08-24

Downloads
8 (#1,345,183)

6 months
33 (#105,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
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