The formalization of Interpretability

Albert Visser

doi:10.1007/BF00370389

The formalization of Interpretability

Albert Visser^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of IΔ₀+Ω₁.

Original language	English
Pages (from-to)	81-105
Number of pages	25
Journal	Studia Logica
Volume	50
Issue number	1
DOIs	https://doi.org/10.1007/BF00370389
Publication status	Published - Mar 1991

Access to Document

10.1007/BF00370389

The formalization of InterpretabilityFinal published version, 1.45 MBLicence: Taverne

Cite this

@article{a1447e034017416e92d6f250813f0313,

title = "The formalization of Interpretability",

abstract = "This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of IΔ0+Ω1.",

author = "Albert Visser",

year = "1991",

month = mar,

doi = "10.1007/BF00370389",

language = "English",

volume = "50",

pages = "81--105",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - The formalization of Interpretability

AU - Visser, Albert

PY - 1991/3

Y1 - 1991/3

N2 - This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of IΔ0+Ω1.

AB - This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of IΔ0+Ω1.

UR - https://www.scopus.com/pages/publications/0010102198

U2 - 10.1007/BF00370389

DO - 10.1007/BF00370389

M3 - Article

AN - SCOPUS:0010102198

SN - 0039-3215

VL - 50

SP - 81

EP - 105

JO - Studia Logica

JF - Studia Logica

IS - 1

ER -

The formalization of Interpretability

Abstract

Access to Document

Other files and links

Fingerprint

Cite this