Abstract
We investigate several consequences of inclusion relations between quantified provability logics. Moreover, we give a necessary and sufficient condition for the inclusion relation between quantified provability logics with respect to \(\Sigma _1\) arithmetical interpretations.
Similar content being viewed by others
References
Artemov, S. N., Numerically correct logics of provability (in Russian), Doklady Akademii Nauk SSSR 290(6):1289–1292, 1986.
Berarducci, A., \(\Sigma ^0_n\)-interpretations of modal logic, Bollettino dell’Unione Matematica Italiana, Serie 7, 3(A):177–184, 1989.
Boolos, G., The unprovability of consistency. An essay in modal logic, Cambridge University Press, Cambridge, 1979.
Boolos. G., The Logic of Provability. Cambridge University Press, Cambridge, 1993.
de Jonge, M., Vardanyan’s theorem for extensions of \(\mathbf{I}{\varvec {\Sigma }}_{{\bf 1}}\). Logic Group Preprint Series 241, Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, https://dspace.library.uu.nl/handle/1874/26753, 2005.
Hájek, P., and P. Pudlák., Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1993.
Kaye, R., Models of Peano arithmetic, vol. 15 of Oxford Logic Guides, Oxford Science Publications, New York, 1991.
Kurahashi, T., Arithmetical interpretations and Kripke frames of predicate modal logic of provability, The Review of Symbolic Logic 6(1):129–146, 2013.
Kurahashi, T., On predicate provability logics and binumerations of fragments of Peano arithmetic, Archive for Mathematical Logic 52(7-8):871–880, 2013.
Lindström, P., On faithful interpretability, in E. Börger, W. Oberschelp, M. M. Richter, B. Schinzel, and W. Thomas, (eds.), Computation and Proof Theory, vol. 1104 of Lecture Notes in Mathematics, Springer, 1984, pp. 279–288.
Lindström, P., Aspects of Incompleteness, Lecture Notes in Logic 10, 2nd edn., A K Peters, 2003.
Montagna, F., The predicate modal logic of provability, Notre Dame Journal of Formal Logic, 25(2):179–189, 1984.
Solovay, R. M., Provability interpretations of modal logic, Israel Journal of Mathematics, 25(3-4):287–304, 1976.
Vardanyan, V. A., Arithmetic complexity of provability predicate logics and their fragments (in Russian), Doklady Akademii Nauk SSSR 288(1):11–14, 1986.
Visser, A., The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic, Journal of Philosophical Logic, 13(2):181–212, 1984.
Visser, A., and M. de Jonge, No escape from Vardanyan’s theorem, Archive for Mathematical Logic, 45(5):539–554, 2006.
Acknowledgements
The author would like to thank Sohei Iwata and Yuya Okawa for their helpful comments. The author would also like to thank the anonymous referee for valuable comments. This work was partly supported by JSPS KAKENHI Grant Number JP19K14586.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Jacek Malinowski
Rights and permissions
About this article
Cite this article
Kurahashi, T. On Inclusions Between Quantified Provability Logics. Stud Logica 110, 165–188 (2022). https://doi.org/10.1007/s11225-021-09957-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-021-09957-y