Abstract
We prove that for any recursively axiomatized consistent extension T of Peano Arithmetic, there exists a \(\Sigma _2\) provability predicate of T whose provability logic is precisely the modal logic \(\mathsf{K}\). For this purpose, we introduce a new bimodal logic \(\mathsf{GLK}\), and prove the Kripke completeness theorem and the uniform arithmetical completeness theorem for \(\mathsf{GLK}\).
Similar content being viewed by others
References
Beklemishev, L. D., On the classification of propositional provability logics. Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 53(5):915–943, 1989. translated in Mathematics of the USSR-Izvestiya 35(2):247–275, 1990.
Blackburn, P., M. De Rijke, and Y. Venema, Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 2002.
Boolos, G., The logic of provability. Cambridge University Press, Cambridge, 1993.
Feferman, S., Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae 49:35–92, 1960.
Lindström, P., Aspects of Incompleteness. Number 10 in Lecture Notes in Logic. A K Peters, 2nd edn, 2003.
Montagna, F., On the algebraization of a Feferman’s predicate. Studia Logica 37(3):221–236, 1978.
Mostowski, A., On models of axiomatic systems. Fundamenta Mathematicae 39:133–158, 1952.
Shavrukov, V. Y., A smart child of Peano’s. Notre Dame Journal of Formal Logic 35(2):161–185, 1994.
Solovay, R. M., Provability interpretations of modal logic. Israel Journal of Mathematics 25(3-4):287–304, 1976.
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., Peano’s smart children: A provability logical study of systems with built-in consistency. Notre Dame Journal of Formal Logic 30(2):161–196, 1989.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kurahashi, T. Arithmetical Completeness Theorem for Modal Logic \(\mathsf{K}\) . Stud Logica 106, 219–235 (2018). https://doi.org/10.1007/s11225-017-9735-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9735-y