Kurahashi, Taishi; Okawa, Yuya Effectively constructible fixed points in Sacchetti’s modal logics of provability. (English) Zbl 1509.03071 Notre Dame J. Formal Logic 63, No. 1, 35-49 (2022). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{T. Kurahashi} and \textit{Y. Okawa}, Notre Dame J. Formal Logic 63, No. 1, 35--49 (2022; Zbl 1509.03071) Full Text: DOI arXiv
Iwata, Sohei Interpolation properties for Sacchetti’s logics. (English) Zbl 07615249 Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 47-76 (2021). MSC: 03Bxx 03Exx 03Fxx PDFBibTeX XMLCite \textit{S. Iwata}, Springer Proc. Math. Stat. 369, 47--76 (2021; Zbl 07615249) Full Text: DOI
Kurahashi, Taishi Rosser provability and normal modal logics. (English) Zbl 1481.03007 Stud. Log. 108, No. 3, 597-617 (2020). MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{T. Kurahashi}, Stud. Log. 108, No. 3, 597--617 (2020; Zbl 1481.03007) Full Text: DOI arXiv
Kurahashi, Taishi Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations. (English) Zbl 1437.03167 Stud. Log. 106, No. 6, 1181-1196 (2018). MSC: 03F45 03B45 03F30 03F40 PDFBibTeX XMLCite \textit{T. Kurahashi}, Stud. Log. 106, No. 6, 1181--1196 (2018; Zbl 1437.03167) Full Text: DOI
Sacchetti, Lorenzo Incompleteness and fixed points. (English) Zbl 0988.03037 Math. Log. Q. 48, No. 1, 15-28 (2002). MSC: 03B45 03F40 03F30 PDFBibTeX XMLCite \textit{L. Sacchetti}, Math. Log. Q. 48, No. 1, 15--28 (2002; Zbl 0988.03037) Full Text: DOI