Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations-Reference-Cited by-同舟云学术

Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations

Published:2018-02-09 Issue:6 Volume:106 Page:1181-1196
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Kurahashi Taishi^ORCID

Funder

Japan Society for the Promotion of Science

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/article/10.1007/s11225-017-9782-4/fulltext.html

Reference13 articles.

1. 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.

2. Boolos, G., The Logic of Provability. Cambridge University Press, Cambridge, 1993.

3. Chagrov, A., and M. Zakharyaschev, Modal Logic. Oxford Logic Guides: 35. Oxford Science Publications, 1997.

4. Feferman, S., Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae 49:35–92, 1960.

5. Kurahashi, T., Arithmetical completeness theorem for modal logic K. Studia Logica 106(2):219–235, 2018.

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

1. Numeral completeness of weak theories of arithmetic;Journal of Logic and Computation;2023-12-12

2. The persistence principle over weak interpretability logic;Mathematical Logic Quarterly;2023-10-27

3. The provability logic of all provability predicates;Journal of Logic and Computation;2023-09-25

4. Arithmetical completeness theorems for monotonic modal logics;Annals of Pure and Applied Logic;2023-07

5. A new perspective on completeness and finitist consistency;Journal of Logic and Computation;2023-04-24