Abstract
In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose provability logic is exactly the normal modal logic \(\mathsf{KD}\). Secondly, we introduce a new normal modal logic \(\mathsf{KDR}\) which is a proper extension of \(\mathsf{KD}\), and prove that there exists a Rosser provability predicate whose provability logic includes \(\mathsf{KDR}\).
Similar content being viewed by others
References
Arai, T., Derivability conditions on Rosser’s provability predicates, Notre Dame Journal of Formal Logic 31(4): 487–497, 1990.
Boolos, G., The Logic of Provability, Cambridge University Press, Cambridge, 1993.
Chagrov, A., and M. Zakharyaschev, Modal Logic. Oxford Logic Guides. Clarendon Press, 1997.
Feferman, S., Arithmetization of metamathematics in a general setting, Fundamenta Mathematicae 49: 35–92, 1960.
Guaspari, D., and R. M. Solovay, Rosser sentences. Annals of Mathematical Logic 16(1): 81–99, 1979.
Hughes, G. E., and M. J. Cresswell., A New Introduction to Modal Logic. Routledge, London, 1996.
Kikuchi, M., and T. Kurahashi. Universal Rosser predicates. The Journal of Symbolic Logic 82(1): 292–302, 2017.
Kreisel, G., and G. Takeuti, Formally self-referential propositions for cut free classical analysis and related systems. Dissertationes Mathematicae (Rozprawy Matematyczne), 118, 1974.
Kurahashi, T., Arithmetical completeness theorem for modal logic \({\sf K}\). Studia Logica 106(2): 219–235, 2018.
Kurahashi, T., Arithmetical soundness and completeness for \(\Sigma _2\) numerations. Studia Logica 106(6): 1181–1196, 2018.
Lindström, P., Aspects of Incompleteness. Number 10 in Lecture Notes in Logic. A K Peters, 2nd edition, 2003.
Montagna, F., On the algebraization of a Feferman’s predicate. Studia Logica 37(3): 221–236, 1978.
Rautenberg, W., Modal tableau calculi and interpolation. Journal of Philosophical Logic 12(4): 403–423, 1983.
Rosser, J. B., Extensions of some theorems of Gödel and Church. The Journal of Symbolic Logic 1(3): 87–91, 1936.
Sacchetti, L., The fixed point property in modal logic. Notre Dame Journal of Formal Logic 42(2): 65–86, 2001.
Shavrukov, V. Y., On Rosser’s provability predicate. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 37(4): 317–330, 1991.
Shavrukov, V. Y., A smart child of Peano’s. Notre Dame Journal of Formal Logic 35(2): 161–185, 1994.
Smoryński, C., Self-reference and modal logic. Universitext. Springer-Verlag, New York, 1985.
Solovay, R. M., Provability interpretations of modal logic. Israel Journal of Mathematics 25(3–4): 287–304, 1976.
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.
Acknowledgements
This work was partly supported by JSPS KAKENHI Grant Number 16K17653. The author would like to thank the referees for their valuable comments and suggestions.
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 Yde Venema
Rights and permissions
About this article
Cite this article
Kurahashi, T. Rosser Provability and Normal Modal Logics. Stud Logica 108, 597–617 (2020). https://doi.org/10.1007/s11225-019-09865-2
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-019-09865-2