論文・著書

論文

  1. Refinements of provability and consistency principles for the second incompleteness theorem
    Taishi Kurahashi, 準備中．
    ResearchGate
    arXiv:2507.00955
  2. Hierarchical formula classes with respect to semi-classical prenex normalization
    Makoto Fujiwara and Taishi Kurahashi, 投稿中．
    ResearchGate
    arXiv.2506.22348
  3. Extensional independence
    Taishi Kurahashi and Albert Visser, 準備中．
    ResearchGate
    arXiv:2506.13524
  4. Doubly partially conservative sentences
    Haruka Kogure and Taishi Kurahashi, 投稿中．
    ResearchGate
    arXiv:2503.12373
  5. A variety of partially conservative sentences
    Haruka Kogure and Taishi Kurahashi, 投稿中．
    ResearchGate
    arXiv:2412.08208
  6. Visser frames for sublogics of \(\mathbf{IL}\)
    Yuya Okawa and Taishi Kurahashi, 投稿中．
    ResearchGate
    arXiv:2211.15919
  7. The modal logic of provability and forcing
    Taishi Kurahashi and Rihito Takase, 投稿中．
    ResearchGate
    arXiv:2311.00581
  8. Lyndon interpolation property for extensions of \(\mathbf{S4}\) and intermediate propositional logics
    Taishi Kurahashi, The Journal of Symbolic Logic,受理.
    ResearchGate
    arXiv:2407.00505
  9. Cut-free sequent calculi for the provability logic D
    Ryo Kashima, Taishi Kurahashi, Sohei Iwata and So Morioka, The Review of Symbolic Logic，受理．
    doi: 10.1017/S1755020325000036
    ResearchGate
    arXiv:2310.16369
  10. Interpolation properties for the bimodal provability logic \(\mathbf{GR}\)
    Haruka Kogure and Taishi Kurahashi, Studia Logica, 受理.
    doi: 10.1007/s11225-024-10167-5
    ResearchGate
    arXiv:2311.10583
    神戸大学学術成果リポジトリ
  11. Certified \(\Sigma_1\)-sentences
    Taishi Kurahashi and Albert Visser, The Journal of Symbolic Logic，受理．
    doi: 10.1017/jsl.2024.84
    ResearchGate
    arXiv:2306.13049
    神戸大学学術成果リポジトリ
  12. The finite frame property of some extensions of the pure logic of necessitation
    Taishi Kurahashi and Yuta Sato, Studia Logica, 受理.
    doi: 10.1007/s11225-024-10154-w
    ResearchGate
    arXiv:2305.14762
    神戸大学学術成果リポジトリ
  13. Smullyan's truth and provability
    Taishi Kurahashi and Kohei Tominaga, Journal of Logic and Computation，vol.35, no.5, exaf001, 2025.
    doi: 10.1093/logcom/exaf001
    ResearchGate
    arXiv:2410.17895
    神戸大学学術成果リポジトリ
  14. Mathematical developments of the incompleteness theorems（"不完全性定理の数学的発展"の英文翻訳版）
    Taishi Kurahashi, Sugaku Expositions, vol.38, no.1, pp. 1--32, 2025.
    doi: 10.1090/suga/487
  15. On the conservation results for local reflection principles
    Haruka Kogure and Taishi Kurahashi, Journal of Logic and Computation, vol.35, no.2, exad076, 2025.
    doi: 10.1093/logcom/exad076
    ResearchGate
    arXiv.2306.07243
    神戸大学学術成果リポジトリ
  16. Pour-El's landscape
    Taishi Kurahashi and Albert Visser, The Bulletin of Symbolic Logic, vol.30, no.3, pp. 362--397, 2024.
    doi: 10.1017/bsl.2024.26
    ResearchGate
    arXiv:2310.04814
    神戸大学学術成果リポジトリ
  17. Rosser 証明可能性述語に基づく局所反映原理（査読なし）
    小暮晏佳・倉橋太志, 京都大学数理解析研究所講究録，vol.2293, 2024.
    pdf (京都大学数理解析研究所)
  18. On collection schemes and Gaifman's splitting theorem
    Taishi Kurahashi and Yoshiaki Minami, Mathematical Logic Quarterly, vol.70, no.4, pp. 398--413, 2024.
    doi: 10.1002/malq.202400021
    ResearchGate
    arXiv:2402.09255
    神戸大学学術成果リポジトリ
  19. The provability logic of all provability predicates
    Taishi Kurahashi, Journal of Logic and Computation, vol.34, no.6, pp. 1108--1135, 2024.
    doi: 10.1093/logcom/exad060
    ResearchGate
    arXiv:2208.03553
    神戸大学学術成果リポジトリ
  20. The persistence principle over weak interpretability logic
    Sohei Iwata, Taishi Kurahashi and Yuya Okawa, Mathematical Logic Quarterly, vol.70, no.1, pp. 37--63, 2024.
    doi: 10.1002/malq.202200020
    ResearchGate
    arXiv:2203.02183
    神戸大学学術成果リポジトリ
  21. Prenex normalization and the hierarchical classification of formulas
    Makoto Fujiwara and Taishi Kurahashi, Archive for Mathematical Logic, vol.63, no.3-4, pp. 391--403, 2024.
    doi: 10.1007/s00153-023-00899-x
    ResearchGate
    arXiv:2302.11808
  22. Disjunction and existence properties in modal arithmetic
    Taishi Kurahashi and Motoki Okuda, The Review of Symbolic Logic, vol.17, no.1, pp. 178--205, 2024.
    doi: 10.1017/S1755020322000363
    ResearchGate
    arXiv:2110.02576
    訂正
  23. The fixed point and the Craig interpolation properties for sublogics of \(\mathbf{IL}\)
    Sohei Iwata, Taishi Kurahashi and Yuya Okawa, Archive for Mathematical Logic, vol.63, no.1-2, pp. 1--37, 2024.
    doi: 10.1007/s00153-023-00882-6
    ResearchGate
    arXiv:2007.05427
    神戸大学学術成果リポジトリ
  24. Conservation theorems on semi-classical arithmetic
    Makoto Fujiwara and Taishi Kurahashi, The Journal of Symbolic Logic, vol.88, no.4, pp.1469--1496, 2023.
    doi: 10.1017/jsl.2022.25
    ResearchGate
    arXiv:2107.11356
  25. Some observations on the FGH theorem
    Taishi Kurahashi, Studia Logica, vol.111, no.5, pp.749--778, 2023.
    doi: 10.1007/s11225-023-10045-6
    ResearchGate
    arXiv:2110.14872
    神戸大学学術成果リポジトリ
  26. Arithmetical completeness theorems for monotonic modal logics
    Haruka Kogure and Taishi Kurahashi, Annals of Pure and Applied Logic, vol.174, no.7, 103271, 2023.
    doi: 10.1016/j.apal.2023.103271
    ResearchGate
    arXiv:2208.03555
    神戸大学学術成果リポジトリ
  27. Refining the arithmetical hierarchy of classical principles
    Makoto Fujiwara and Taishi Kurahashi, Mathematical Logic Quarterly, vol.68, no.3, pp.318--345, 2022.
    doi: 10.1002/malq.202000077
    ResearchGate
    arXiv:2010.11527
    神戸大学学術成果リポジトリ
  28. 証明可能性述語の様相論理 (査読なし)
    倉橋太志, 京都大学数理解析研究所講究録, vol.2233, pp. 105--122, 2022.
    pdf (京都大学数理解析研究所)
    訂正
  29. Effectively constructible fixed points in Sacchetti's modal logics of provability
    Taishi Kurahashi and Yuya Okawa, Notre Dame Journal of Formal Logic, vol.63, no.1, pp.35--49, 2022.
    doi: 10.1215/00294527-2022-0003
    ResearchGate
    arXiv:1811.12827
  30. On inclusions between quantified provability logics
    Taishi Kurahashi, Studia Logica, vol.110, no.1, pp.165--188, 2022.
    doi: 10.1007/s11225-021-09957-y
    ResearchGate
    arXiv:2101.03384
    神戸大学学術成果リポジトリ
  31. On Guaspari's problem about partially conservative sentences
    Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov and Albert Visser, Annals of Pure and Applied Logic, vol.173, no.5, 103087, 2022.
    doi: 10.1016/j.apal.2022.103087
    ResearchGate
    arXiv:1909.02761
  32. Rosser provability and the second incompleteness theorem
    Taishi Kurahashi, In: Arai T., Kikuchi M., Kuroda S., Okada M., Yorioka T. (eds) Advances in Mathematical Logic. SAML 2018, Springer Proceedings in Mathematics & Statistics, vol.369, Springer, Singapore, pp.77--97, 2021.
    doi: 10.1007/978-981-16-4173-2_4
    ResearchGate
    arXiv:1902.06863
  33. Prenex normal form theorems in semi-classical arithmetic
    Makoto Fujiwara and Taishi Kurahashi, The Journal of Symbolic Logic, vol.86, no.3, pp.1124--1153, 2021.
    doi: 10.1017/jsl.2021.47
    ResearchGate
    arXiv:2009.03485
  34. Topological semantics of conservativity and interpretability logics
    Sohei Iwata and Taishi Kurahashi, Journal of Logic and Computation, vol.31, no.7, pp.1716--1739, 2021.
    doi: 10.1093/logcom/exab046
    ResearchGate
    arXiv:2102.02483
    神戸大学学術成果リポジトリ
  35. Modal completeness of sublogics of the interpretability logic \(\mathbf{IL}\)
    Taishi Kurahashi and Yuya Okawa, Mathematical Logic Quarterly, vol.67, no.2, pp.164--185, 2021.
    doi: 10.1002/malq.202000037
    ResearchGate
    arXiv:2004.03813
    神戸大学学術成果リポジトリ
  36. 不完全性定理の数学的発展
    倉橋太志, 数学, vol.73, no.1, pp.60--87, 2021.
    pdf (J-STAGE)
    訂正
  37. A note on derivability conditions
    Taishi Kurahashi, The Journal of Symbolic Logic, vol.85, no.3, pp.1224--1253, 2020.
    doi: 10.1017/jsl.2020.33
    ResearchGate
    arXiv:1902.00895
    神戸大学学術成果リポジトリ
  38. Uniform Lyndon interpolation property in propositional modal logics
    Taishi Kurahashi, Archive for Mathematical Logic, vol.59, no.5-6, pp.659--678, 2020.
    doi: 10.1007/s00153-020-00713-y
    ResearchGate
    arXiv:1809.00943
  39. Fixed-point properties for predicate modal logics
    Sohei Iwata and Taishi Kurahashi, Annals of the Japan Association for Philosophy of Science, vol.29, pp.1--25, 2020.
    doi: 10.4288/jafpos.29.0_1
    ResearchGate
    arXiv:1907.00306
    神戸大学学術成果リポジトリ
  40. Rosser provability and normal modal logics
    Taishi Kurahashi, Studia Logica, vol.108, no.3, pp.597--617, 2020.
    doi: 10.1007/s11225-019-09865-2
    ResearchGate
    arXiv:1812.09735
  41. On arithmetical completeness of the Logic of Proofs
    Sohei Iwata and Taishi Kurahashi, Annals of Pure and Applied Logic, vol.170, no.2, pp.163--179, 2019.
    doi: 10.1016/j.apal.2018.09.004
    ResearchGate
  42. Provability logics relative to a fixed extension of Peano Arithmetic
    Taishi Kurahashi, The Journal of Symbolic Logic, vol.83, no.3, pp.1229--1246, 2018.
    doi: 10.1017/jsl.2018.27
    ResearchGate
  43. Arithmetical soundness and completeness for \(\Sigma_2\) numerations
    Taishi Kurahashi, Studia Logica, vol.106, no.6, pp.1181--1196, 2018.
    doi: 10.1007/s11225-017-9782-4
    ResearchGate
  44. On partial disjunction properties of theories containing Peano arithmetic
    Taishi Kurahashi, Archive for Mathematical Logic, vol.57, no.7-8, pp.953--980, 2018.
    doi: 10.1007/s00153-018-0618-3
    ResearchGate
  45. Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
    Taishi Kurahashi, Studia Logica, vol.106, no.2, pp.219--235, 2018.
    doi: 10.1007/s11225-017-9735-y
    ResearchGate
  46. Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic
    Makoto Kikuchi and Taishi Kurahashi, The Review of Symbolic Logic, vol.10, no.4, pp.603--616, 2017.
    doi: 10.1017/S1755020317000235
    ResearchGate
  47. 計算可能前構造と横山吉川の性質 (査読なし)
    樋口幸治郎・倉橋太志, 京都大学数理解析研究所講究録, vol.2050, pp.24--40, 2017.
    pdf (京都大学数理解析研究所)
  48. Universal Rosser predicates
    Makoto Kikuchi and Taishi Kurahashi, The Journal of Symbolic Logic, vol.82, no.1, pp.292--230, 2017.
    doi: 10.1017/jsl.2016.19
    ResearchGate
  49. Illusory models of Peano arithmetic
    Makoto Kikuchi and Taishi Kurahashi, The Journal of Symbolic Logic, vol.81, no.3, pp.1163--1175, 2016.
    doi: 10.1017/jsl.2015.52
    ResearchGate
  50. Liar-type paradoxes and the incompleteness phenomena
    Makoto Kikuchi and Taishi Kurahashi, Journal of Philosophical Logic, vol.45, no.4, pp.381--398, 2016.
    doi: 10.1007/s10992-015-9378-2
    ResearchGate
  51. Henkin sentences and local reflection principles for Rosser provability
    Taishi Kurahashi, Annals of Pure and Applied Logic, vol.167, no.2, pp.73--94, 2016.
    doi: 10.1016/j.apal.2015.10.002
    ResearchGate
  52. Rosser-type undecidable sentences based on Yablo's paradox
    Taishi Kurahashi, Journal of Philosophical Logic, vol.43, no.5, pp.999--1017, 2014.
    doi: 10.1016/j.apal.2015.10.002
    ResearchGate
  53. Rosser 可証性述語について
    倉橋太志, 科学基礎論研究, vol.41, no.2, pp.13--21, 2014.
    doi: 10.4288/kisoron.41.2_93
    pdf (J-STAGE)
  54. On predicate provability logics and binumerations of fragments of Peano arithmetic
    Taishi Kurahashi, Archive for Mathematical Logic, vol.52, no.7, pp.871--880, 2013.
    doi: 10.1007/s00153-013-0349-4
    ResearchGate
  55. Arithmetical interpretations and Kripke frames of predicate modal logic of provability
    Taishi Kurahashi, The Review of Symbolic Logic, vol.6, no.1, pp.129--146, 2013.
    doi: 10.1017/S1755020312000275
    ResearchGate
  56. On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
    Makoto Kikuchi, Taishi Kurahashi and Hiroshi Sakai, Mathematical Logic Quarterly, vol.58, no.4-5, pp.307--316, 2012.
    doi: 10.1002/malq.201110067
    ResearchGate
  57. Gödel の不完全性定理を巡る三つの断章
    菊池誠・倉橋太志, 科学基礎論研究, vol.38, no.2, pp.27--32, 2011.
    doi: 10.4288/kisoron.38.2_75
    pdf (J-STAGE)

著書

  1. 数学における証明と真理―様相論理と数学基礎論―
    菊池誠（編），佐野 勝彦・倉橋 太志・薄葉 季路・黒川 英徳・菊池 誠（著）
    出版社: 共立出版
    発行年月: 2016年3月
    ページ数: 304ページ
    本体価格: 4,200円
    ISBN: 978-4320111486
    第２部（証明可能性論理）の執筆を担当しました。
    Amazon