Abstract
A Kripke-style semantics developed by de Jongh and Veltman is used to investigate relations between several extensions of interpretability logic, IL.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
S. Feferman, Arithmetization of metamathematics in a general setting, Foundation of Mathematics 49 (1960), pp. 33–92.
P. Hájek and V. Švejdar, A note on the normal form of closed formulas of interpretability logic, preprint.
D. de Jongh and F. Veltman, Provability logic for relative interpretability, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria,1988.
V. Švejdar, Modal analysis of generalized Rosser sentences, Journal of Symbolic Logic 48 (1983), no. 4, pp. 986–999.
A, Visser, Interpretability logic, Logic Group Preprint Series no. 40, Department of Philosophy, University of Utrecht, Utrecht, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria, 1988.
A. Visser, An inside view of EXP, or: The dosed fragment of the provability logic of (IΔ0+Ω1), Logic Group Preprint Series no. 43, Department of Philosophy, University of Utrecht, Utrecht, 1989.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Švejdar, V. Some independence results in interpretability logic. Stud Logica 50, 29–38 (1991). https://doi.org/10.1007/BF00370385
Issue Date:
DOI: https://doi.org/10.1007/BF00370385