The formalization of Interpretability
Files
Publication date
1991-03
Authors
Visser, Albert
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
taverne
Abstract
This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of IΔ0+Ω1.
Keywords
Taverne, Logic, History and Philosophy of Science
Citation
Visser, A 1991, 'The formalization of Interpretability', Studia Logica, vol. 50, no. 1, pp. 81-105. https://doi.org/10.1007/BF00370389