Rchr
J-GLOBAL ID：201401018884836837
Update date: Apr. 11, 2024
Kurahashi Taishi
クラハシ タイシ | Kurahashi Taishi
Affiliation and department：
Homepage URL (2)：
http://www2.kobe-u.ac.jp/~tk/jp/
,
http://www2.kobe-u.ac.jp/~tk/
Research field (2)：
Applied mathematics and statistics
, Basic mathematics
Research keywords (6)：
modal logic
, models of arithmetic
, provability logic
, the incompleteness theorems
, 数学基礎論
, 数理論理学
Research theme for competitive and other funds (5)：
- 2023 - 2028 形式的証明可能性の持つ諸性質の分析
- 2019 - 2023 不完全性定理を通じた形式的証明可能性の研究
- 2016 - 2019 超準モデルと理論における証明構造の分析
- 2014 - 2016 可証性述語の解析に基づく形式的証明可能性の研究
- 2012 - 2014 形式的算術の証明可能性について
Papers (38)：
-
Makoto Fujiwara, Taishi Kurahashi. Prenex normalization and the hierarchical classification of formulas. Archive for Mathematical Logic. 2024. 63. 3-4. 391-403
-
Taishi Kurahashi, Motoki Okuda. Disjunction and existence properties in modal arithmetic. The Review of Symbolic Logic. 2024. 17. 1. 178-205
-
Sohei Iwata, Taishi Kurahashi, Yuya Okawa. The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}. Archive for Mathematical Logic. 2024. 63. 1-2. 1-37
-
Makoto Fujiwara, Taishi Kurahashi. Conservation theorems on semi-classical arithmetic. The Journal of Symbolic Logic. 2023. 88. 4. 1469-1496
-
Taishi Kurahashi. Some observations on the FGH theorem. Studia Logica. 2023. 111. 5. 749-778
ｍore...
MISC (10)：
-
Taishi Kurahashi, Yoshiaki Minami. On collection schemes and Gaifman's splitting theorem. submitted. 2024
-
Haruka Kogure, Taishi Kurahashi. Interpolation properties for the bimodal provability logic $\mathbf{GR}. submitted. 2023
-
Taishi Kurahashi, Rihito Takase. The Modal Logic of Provability and Forcing. submitted. 2023
-
Ryo Kashima, Taishi Kurahashi, Sohei Iwata. Cut-free sequent calculi for the provability logic D. Submitted. 2023
-
Taishi Kurahashi, Albert Visser. Pour-El's Landscape. submitted. 2023
ｍore...
Books (1)：
-
数学における証明と真理-様相論理と数学基礎論-
共立出版 2016 ISBN:9784320111486
Lectures and oral presentations (28)：
-
理論の不完全性,決定不能性,分離不能性
(日本数学会 2024年度年会 2024)
-
証明可能性-強制様相論理
(日本数学会 2024年度年会 2024)
-
必然化の論理 N の拡張論理の有限フレーム性
(日本数学会 2024年度年会 2024)
-
局所反映原理に関する保存性について
(日本数学会 2024年度年会 2024)
-
証明可能性論理 GR の補間定理
(第58回MLG数理論理学研究集会 2024)
ｍore...
Education (3)：
- 2011 - 2013 Kobe University Graduate School of System Informatics Department of Information Science
- 2009 - 2011 Kobe University Graduate School of Engineering Department of Computer Science and Systems Engineering
- 2004 - 2009 Kobe University Faculty of Engineering Department of Computer Science and Systems Engineering
Professional career (1)：
Work history (6)：
Awards (1)：
- 2014/11 - 科学基礎論学会 2013年度科学基礎論学会奨励賞
Association Membership(s) (3)：
Association for Symbolic Logic
, JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE
, THE MATHEMATICAL SOCIETY OF JAPAN
