小暮晏佳 (Haruka Kogure)

博士学生として，神戸大学大学院システム情報学研究科（CS32）に在籍し，数理論理学について研究しています．指導教員は倉橋太志先生です．

数理論理学の中でも，ゲーデルの不完全性定理や，証明可能性論理に特に興味があり，これらに関する研究に取り組んでいます．

経歴

2020年4月 - 2024年3月　金沢大学理工学域数物科学類

2024年4月 - 2025年9月　神戸大学大学院システム情報学研究科 博士課程前期課程

2025年10月 -　神戸大学大学院システム情報学研究科 博士課程後期課程

連絡

神戸大学大学院システム情報学研究科

Email:　kogure [at] stu [dot] kobe-u [dot] ac [dot] jp

論文

1. Provability interpretation of non-normal modal logics having neighborhood semantics, Haruka Kogure, arXiv:2511.16488（準備中）．

2. Modal logical aspects of provability predicates and consistency statements, Haruka Kogure and Taishi Kurahashi, arXiv:2511.15531（準備中）．

3. Doubly partially conservative sentences, Haruka Kogure and Taishi Kurahashi, arXiv:2503.12373（投稿中）．

4. A variety of partially conservative sentences, Haruka Kogure and Taishi Kurahashi, arXiv:2412.08208（投稿中）．

5. Arithmetical completeness for some extensions of the pure logic of necessitation, Haruka Kogure, arXiv:2409.00948 （投稿中）．

6.  Rosser 証明可能性述語に基づく局所反映原理，小暮晏佳，倉橋太志．京都大学数理解析研究所講究録 2293, pp. 28--40, 2024（査読なし）.

7.  Interpolation properties for the bimodal provability logic GR, Haruka Kogure and Taishi Kurahashi, Studia Logica, 受理．doi: 10.1007/s11225-024-10167-5

8. On the conservation results for local reflection principles, Haruka Kogure and Taishi Kurahashi, Journal of Logic and Computation, vol.35, no.2, exad076, 2025. 

9. Arithmetical completeness theorems for monotonic modal logics, Haruka Kogure and Taishi Kurahashi,  Annals of Pure and Applied Logic, vol.174, no.7, article no. 103271, 2023.

口頭発表（下線は登壇者）

1. 小暮晏佳・倉橋太志，部分的な保存性を持つ文について 1，日本数学会 2025年度秋季総合分科会，名古屋大学，2025年9月． 

2. 小暮晏佳・倉橋太志，部分的な保存性を持つ文について 2，日本数学会 2025年度秋季総合分科会，名古屋大学，2025年9月．

3. Haruka Kogure, Arithmetical completeness for some extensions of the pure logic of necessitation, 18th Asian Logic Conference, 京都産業大学, 2025年9月．

4. Haruka Kogure and Taishi Kurahashi, Some results on partially conservative sentences, Logic Colloquium 2025, TU Wien, Austria, 2025年7月．

5. 小暮晏佳，必然化の論理 N の拡張論理に対する算術的完全性，日本数学会 2025年度年会，早稲田大学，2025年3月．

6. 小暮晏佳，必然化の論理 N の拡張論理に対する算術的完全性，第59回MLG数理論理学研究集会，東北大学，2025年2月．

7. 小暮晏佳，必然化の論理 N の拡張論理に対する算術的完全性，数学基礎論若手の会 2024，郡山市青少年会館，2024年10月．

8. 小暮晏佳・倉橋太志，証明可能性の二重様相論理 GR に対する補間定理，日本数学会 2024年度秋季総合分科会，大阪大学，2024年9月．

9. 小暮晏佳・倉橋太志，局所反映原理に関する保存性について，日本数学会 2024年度年会，大阪公立大学，2024年3月．

10.  小暮晏佳・倉橋太志，証明可能性論理 GR の補間定理，第58回MLG数理論理学研究集会，東北大学，2024年2月．

11. 小暮晏佳・倉橋太志，局所反映原理における保存性，証明論研究集会2023 証明論と計算論の最前線，京都大学数理解析研究所，2023年12月．

12. 倉橋太志・小暮晏佳，単調性を満たす証明可能性述語の様相論理，日本数学会 2023年度年会，中央大学，2023年3月．

13. 小暮晏佳，Monotonic Modal Logics の算術的完全性，数学基礎論若手の会 2022，オンライン，2022年11月．