Note on Some Fixed Point Constructions in Provability Logic

Journal of Philosophical Logic 35 (3):225-230 (2006)
  Copy   BIBTEX

Abstract

We present a quite simple proof of the fixed point theorem for GL. We also use this proof to show that Sambin's algorithm yields a fixed point

Categories

Keywords

Reprint years

DOI

10.1007/s10992-005-9013-8

Links

PhilArchive



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

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

The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
Properties of Intuitionistic Provability and Preservativity Logics.Rosalie Iemhoff, Dick de Jongh & Chunlai Zhou - 2005 - Logic Journal of the IGPL 13 (6):615-636.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
On a super large fixed-point of common information in multi-agent signalling games.Anton Benz - 2012 - Logic Journal of the IGPL 20 (1):94-120.
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.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
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.
On deciding the provability of certain fixed point statements.George Boolos - 1977 - Journal of Symbolic Logic 42 (2):191-193.
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
Fixed point constructions in various theories of mathematical logic.Jesús Padilla Gálvez - 1993 - Theoria 8 (1):193-195.
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
On the provability logic of bounded arithmetic.Rineke Verbrugge & Alessandro Berarducci - 1991 - Annals of Pure and Applied Logic 61 (1-2):75-93.
Estudio crítico: Truth, vagueness and paradox. An essay on the logic of truth.Fixed point constructions in various theories of mathematical logic.Jesús Padilla Gálvez - 1993 - Critica 25 (73):83-108.

Analytics

Added to PP
2009-01-28

Downloads
59 (#270,408)

6 months
11 (#231,656)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.

Add more references