Explicit Fixed Points in Interpretability Logic

&
Studia Logica 50 (1):39-49 (1991)
  Copy   BIBTEX

Abstract

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryński.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370386

Links

PhilArchive



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

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

Explicit fixed points in interpretability logic.Dick Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39 - 49.
Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.
A cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Lattices of Fixed Points of Fuzzy Galois Connections.Radim Bělohlávek - 2001 - Mathematical Logic Quarterly 47 (1):111-116.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
The interpretability logic of all reasonable arithmetical theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1-2):3-26.
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Generic Generalized Rosser Fixed Points.Dick H. J. de Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193-203.
Generic generalized Rosser fixed points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.
Some independence results in interpretability logic.Vítězslav Švejdar - 1991 - Studia Logica 50 (1):29 - 38.
Interpretability in.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.

Analytics

Added to PP
2017-02-21

Downloads
21 (#695,936)

6 months
13 (#165,103)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
Self provers and Σ1 sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.

View all 10 citations / Add more citations

References found in this work

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.

View all 6 references / Add more references