The Principles of Interpretability-Reference-Cited by-同舟云学术

The Principles of Interpretability

Published:1999-04-01 Issue:2 Volume:40 Page:
ISSN:0029-4527
Container-title:Notre Dame Journal of Formal Logic
language:
Short-container-title:Notre Dame J. Formal Logic

Author:

Vuković Mladen

Publisher

Duke University Press

Subject

Logic

Reference11 articles.

1. de Jongh, D., and F. Veltman, “Provability logics for relative interpretability,” pp. 31–42 in Mathematical Logic, Proceedings of the 1988 Heyting Conference, edited by P. P. Petkov, Plenum Press, New York, 1990. Zbl 0794.03026 MR 92d:03011

2. Hájek, P., “Interpretability in theories containing arithmetic II,” Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), pp. 667–88. Zbl 0487.03032 MR 83j:03094

3. Solovay, R. M., “Provability interpretations of modal logic,” Israel Journal of Mathematics, vol. 25 (1976), pp. 287–304. Zbl 0352.02019 MR 56:15369

4. Švejdar, V., “Modal analysis of generalized Rosser sentences,” The Journal of Symbolic Logic, vol. 48 (1983), pp. 986–99. Zbl 0543.03010 MR 85k:03041

5. Švejdar, V., “Some independence results in interpretability logic,” Studia Logica, vol. 50 (1991), pp. 29–38. Zbl 0728.03016 MR 93c:03026

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A correspondence theorem for interpretability logic with respect to Verbrugge semantics;Logic Journal of the IGPL;2024-06-27

2. An Overview of Verbrugge Semantics, a.k.a. Generalised Veltman Semantics;Outstanding Contributions to Logic;2024

3. Bisimulations Between Verbrugge Models and Veltman Models;Logic, Language, Information, and Computation;2023

4. INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS;The Journal of Symbolic Logic;2020-06

5. Decidability of interpretability logics ILM0 and ILW*;Logic Journal of the IGPL;2017-07-29