いくつかの論文については ResearchGate や arXiv にプレプリントを置いてあるので，興味のある方はそちらもご覧ください．

1. Conservation theorems on semi-classical arithmetic
   Makoto Fujiwara and Taishi Kurahashi, 投稿中．
   ResearchGate
   arXiv:2107.11356
   
   
2. Topological semantics of conservativity and interpretability logics
   Sohei Iwata and Taishi Kurahashi, Journal of Logic and Computation, 受理.
   doi: 10.1093/logcom/exab046
   ResearchGate
   arXiv:2102.02483
   
   
3. On inclusions between quantified provability logics
   Taishi Kurahashi, Studia Logica, 受理.
   doi: 10.1007/s11225-021-09957-y
   ResearchGate
   arXiv:2101.03384
   
   
4. Refining the arithmetical hierarchy of classical principles
   Makoto Fujiwara and Taishi Kurahashi, 投稿中.
   ResearchGate
   arXiv:2010.11527
   
   
5. Prenex normal form theorems in semi-classical arithmetic
   Makoto Fujiwara and Taishi Kurahashi, The Journal of Symbolic Logic, 受理.
   doi: doi.org/10.1017/jsl.2021.47
   ReseachGate
   arXiv:2009:03485
   
   
6. The fixed point and the Craig interpolation properties for sublogics of \(\mathbf{IL}\)
   Sohei Iwata, Taishi Kurahashi and Yuya Okawa, 投稿中.
   ResearchGate
   arXiv:2007.05427
   
   
7. 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
   
   
8. 不完全性定理の数学的発展
   倉橋太志, 数学, vol.73, no.1, pp.60--87, 2021．
   
   
9. On Guaspari's problem about partially conservative sentences
   Taishi Kurahashi and Yuya Okawa, 投稿中．
   ResearchGate
   arXiv:1909.02761
   
   
10. 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
    
    
11. 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
    
    
12. Effectively constructible fixed points in Sacchetti's modal logics of provability
    Taishi Kurahashi and Yuya Okawa, 投稿中．
    ResearchGate
    arXiv:1811.12827
    
    
13. 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
    
    
14. Rosser provability and the second incompleteness theorem
    Taishi Kurahashi, Symposium on Advances in Mathematical Logic 2018 proceedings, 受理．
    ResearchGate
    arXiv:1902.06863
    
    
15. 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
    ReseachGate
    arXiv:1812.09735
    
    
16. 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
    
    
17. 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
    
    
18. 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
    
    
19. 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
    
    
20. Arithmetical completeness theorem for modal logic \(\mathsf{K}\)KK
    Taishi Kurahashi, Studia Logica, vol. 106, no. 2, pp. 219-235, 2018.
    doi: 10.1007/s11225-017-9735-y
    ResearchGate
    
    
21. 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
    
    
22. 計算可能前構造と横山吉川の性質 (査読なし)
    樋口幸治郎・倉橋太志, 京都大学数理解析研究所講究録, vol. 2050, pp. 24-40, 2017.
    pdf (京都大学数理解析研究所)
    
    
23. Universal Rosser predicates
    Makoto Kikuchi and Taishi Kurahashi, The Journal of Symbolic Logic, vol. 82, no. 1, pp. 292-302, 2017.
    doi: 10.1017/jsl.2016.19
    ResearchGate
    
    
24. 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
    
    
25. 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
    
    
26. 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
    
    
27. 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
    
    
28. Rosser 可証性述語について
    倉橋太志, 科学基礎論研究, vol. 41, no. 2, pp. 13-21, 2014.
    doi: 10.4288/kisoron.41.2_93
    pdf (J-STAGE)
    
    
29. 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
    
    
30. 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
    
    
31. 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
    
    
32. Gödel の不完全性定理を巡る三つの断章
    菊池誠・倉橋太志, 科学基礎論研究, vol. 38, no. 2, pp. 27-32, 2011.
    doi: 10.4288/kisoron.38.2_75
    pdf (J-STAGE)

出版社: 共立出版

発行年月: 2016年3月

ページ数: 304ページ

本体価格: 4,200円

ISBN: 978-4320111486

第２部（証明可能性論理）の執筆を担当しました。

Amazon