Abstract
De Rijke introduced a unary interpretability logic \(\textbf{il}\), and proved that \(\textbf{il}\) is the unary counterpart of the binary interpretability logic \(\textbf{IL}\). In this paper, we find the unary counterparts of the sublogics of \(\textbf{IL}\).
Similar content being viewed by others
References
Areces, C., E. Hoogland, and D. de Jongh, Interpolation, definability and fixed points in interpretability logics, in M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, (eds.), Advances in Modal Logic, Vol. 2, vol. 119 of CSLI Lecture Notes, CSLI Publication, Stanford, CA, 2001, pp. 35–58.
De Jongh, D., and F. Veltman, Provability logics for relative interpretability, in P.P. Petkov, (ed.), Mathematical Logic, Plenum Press, New York, 1990, pp. 31–42.
De Jongh, D., and A. Visser, Explicit fixed points in interpretability logic, Studia Logica 50(1): 39–49, 1991.
De Rijke, M., Unary interpretability logic, Notre Dame Journal of Formal Logic 33(2):249–272, 1992.
Feferman, S., Arithmetization of metmathematics in a general setting, Fundamenta Mathematicae 49:35–92, 1960.
Guaspari, D., Partially conservative extensions of arithmetic, Transactions of the American Mathematical Society 254: 47–68, 1979.
Hájek, P., and F. Montagna, The logic of \(\Pi _1\) conservativity, Archive for Mathematical Logic 30(2):113–123, 1990.
Häjek, P., and P. Pudlák, Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer, Berlin, 1993.
Ignatiev, K.N., Partial conservativity and modal logics, Technical Report ITLI Publication Series X-91-04, University of Amsterdam, 1991.
Ignatiev, K.N., Failure of interpolation for ILM, unpublished.
Iwata, S., T. Kurahashi, and Y. Okawa, The fixed point and the Craig interpolation properties for sublogics of IL, in press.
Japaridze, G., and D. de Jongh, The logic of provability, in S.R. Buss, (ed.), Handbook of Proof Theory, vol. 137 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1998, pp. 475–546.
Joosten, J.J., Towards the interpretability logic of all reasonable arithmetical theories, Master’s thesis, University of Amsterdam, 1998.
Kurahashi, T., and Y. Okawa, Modal completeness of sublogics of the interpretability logic \(\textbf{IL}\). Mathematical Logic Quarterly 67(2):164–185, 2021.
Lindström, P., Some results on interpretability, in F.V. Jensen, B.H. Mayoh, and K.K. Møller, (eds.), Proceedings of the 5th Scandinavian Logic Symposium, Aalborg University Press, Aalborg, 1979, pp. 329–361.
Lindström, P., Provability logic—a short introduction, Theoria 62(1-2):19–61, 1996.
Lindström, P., Aspects of Incompleteness, 2nd edn., vol. 10 of Lecture Notes in Logic, A K Peters, 2003.
Smoryński, C., Calculating self-referential statements, Fundamenta Mathematicae 109(3):189–210, 1980.
Verbrugge, R., Generalized Veltman frames and models, unpublished manuscript, Amsterdam, 1992.
Visser, A., Preliminary notes on interpretability logic, Technical Report 29, Department of Philosophy, Utrecht University, 1988.
Vuković, M., Some correspondences of principles of interpretability logic, Glasnik Matematiçki 31(2):193–200, 1996.
Acknowledgements
The author would like to thank to Taishi Kurahashi for his helpful and valuable comments. The research was supported by Foundation of Research Fellows, The Mathematical Society of Japan.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The author declares that he has no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Yde Venema
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Okawa, Y. Unary Interpretability Logics for Sublogics of the Interpretability Logic \(\textbf{IL}\). Stud Logica (2023). https://doi.org/10.1007/s11225-023-10068-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11225-023-10068-z