The formalization of interpretability

Studia Logica 50 (1):81 - 105 (1991)

Abstract
This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of I0+1.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370389
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


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

References found in this work BETA

Undecidable Theories.Alfred Tarski - 1968 - Amsterdam: North-Holland Pub. Co..
On the Scheme of Induction for Bounded Arithmetic Formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (3):261-302.
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.

View all 14 references / Add more references

Citations of this work BETA

A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.
The Predicative Frege Hierarchy.Albert Visser - 2009 - Annals of Pure and Applied Logic 160 (2):129-153.
Consistency and the Theory of Truth.Richard G. Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.
Faith & Falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1):103-131.
Equivalences for Truth Predicates.Carlo Nicolai - 2017 - Review of Symbolic Logic 10 (2):322-356.

View all 15 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
64 ( #122,370 of 2,250,068 )

Recent downloads (6 months)
13 ( #73,729 of 2,250,068 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature