Rchr
J-GLOBAL ID：201401018884836837
Update date: Sep. 27, 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 (41)：
-
Taishi Kurahashi. The provability logic of all provability predicates. Journal of Logic and Computation. 2024. 34. 6. 1108-1135
-
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 persistence principle over weak interpretability logic. Mathematical Logic Quarterly. 2024. 70. 1. 37-63
-
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
ｍore...
MISC (9)：
-
Taishi Kurahashi. Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics. submitted. 2024
-
Yuya Okawa, Taishi Kurahashi. Visser frames for sublogics of $\mathbf{IL}. 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
ｍore...
Books (1)：
-
数学における証明と真理-様相論理と数学基礎論-
共立出版 2016 ISBN:9784320111486
Lectures and oral presentations (32)：
-
不完全性定理と反映原理
(数学基礎論サマースクール2024 2024)
-
証明可能性の二重様相論理 GR に対する補間定理
(日本数学会 2024年度秋季総合分科会 2024)
-
有限拡大に制限した本質的不完全性について
(日本数学会 2024年度秋季総合分科会 2024)
-
Collection 原理の特徴づけについて
(日本数学会 2024年度秋季総合分科会 2024)
-
理論の不完全性,決定不能性,分離不能性
(日本数学会 2024年度年会 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 (7)：
Awards (1)：
- 2014/11 - 科学基礎論学会 2013年度科学基礎論学会奨励賞
Association Membership(s) (3)：
Association for Symbolic Logic
, JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE
, THE MATHEMATICAL SOCIETY OF JAPAN
