Studia Logica 50 (1):39 - 49 (1991)

Authors
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 Smoryski.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370386
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,064
Through your library

References found in this work BETA

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.

Add more references

Citations of this work BETA

The Formalization of Interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
Self Provers and Σ1 Sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.
Unary Interpretability Logic.Maarten de Rijke - 1992 - Notre Dame Journal of Formal Logic 33 (2):249-272.

View all 7 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
37 ( #285,368 of 2,439,670 )

Recent downloads (6 months)
1 ( #432,499 of 2,439,670 )

How can I increase my downloads?

Downloads

My notes