Conservation theorems on semi-classical arithmetic Makoto Fujiwara and Taishi Kurahashi,
Submitted. ResearchGate arXiv:2107.11356
Topological semantics of conservativity and
interpretability logics Sohei Iwata and Taishi Kurahashi, Journal of Logic and Computation ,
Accpeted. doi: 10.1093/logcom/exab046ResearchGate arXiv: 2102.02483
On inclusions between quantified provability
logics Taishi Kurahashi, Studia Logica , Accepted. doi:
10.1007/s11225-021-09957-y ResearchGate arXiv:2101.03384
Refining the arithmetical hierarchy of
classical principles M akoto Fujiwara and Taishi Kurahashi, Submitted. ResearchGate arXiv:2010.11527
Prenex normal form theorems in semi-classical
arithmetic Makoto Fujiwara and Taishi Kurahashi, The Journal of Symbolic Logic ,
Accepted. doi: 10.1017/jsl.2021.47 ResearchGate arXiv:2009.03485
The fixed point and the Craig interpolation properties for sublogics of \(\mathbf{IL}\) ResearchGate arXiv:2007.05427
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
Mathematical developments of the incompleteness theorems (in Japanese) Taishi Kurahashi, Sugaku , vol.73, no.1, pp.60--87,
2021.
On Guaspari's problem about partially conservative sentences ResearchGate arXiv:1909.02761
A note on derivability
conditions The Journal of Symbolic Logic , vol.85, no.3, pp.1224--1253, 2020.10.1017/jsl.2020.33
ResearchGate arXiv:1902.00895
Uniform Lyndon interpolation
property in propositional modal logics Archive for Mathematical Logic , vol.59, no.5-6, pp.659--678, 2020.doi: 10.1007/s00153-020-00713-y ResearchGate arXiv:1809.00943
Effectively constructible fixed points in Sacchetti's modal logics of provability Taishi Kurahashi and Yuya Okawa, Submitted.
ResearchGate arXiv:1811.12827
Fixed-point
properties for predicate modal logics Annals of the Japan Association for Philosophy of
Science , vol.29, pp.1--25, 2020.10.4288/jafpos.29.0_1ResearchGate arXiv:1907.00306
Rosser provability and the second incompleteness theorem Taishi Kurahashi , Symposium on Advances in Mathematical Logic 2018 proceedings , Accepted.
ResearchGate arXiv:1902.06863
Rosser provability and normal
modal logics Taishi Kurahashi, Studia Logica , vol. 108, no. 3, pp. 597-617, 2020.10.1007/s11225-019-09865-2ReseachGate arXiv:1812.09735
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
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.ResearchGate
Arithmetical soundness and
completeness for \(\Sigma_2\) numerations Taishi Kurahashi, Studia Logica ,vol. 106, no. 6, pp. 1181-1196,
2018. ResearchGate
On partial disjunction
properties of theories containing Peano arithmetic Taishi Kurahashi, Archive for Mathematical
Logic ,vol. 57, no. 7-8, pp. 953-980, 2018. ResearchGate
Arithmetical completeness
theorem for modal logic \(\mathsf{K}\)K Taishi Kurahashi, Studia Logica , vol. 106, no. 2, pp. 219-235, 2018.ResearchGate
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.ResearchGate
Computable prestructures and Yokoyama-Yoshikawa properties (nonrefereed, in Japanese) Kojiro Higuchi and Taishi Kurahashi, RIMS Kôkyûroku , vol. 2050, pp. 24-40, 2017. pdf (RIMS)
Universal Rosser
predicates The Journal of Symbolic Logic , vol. 82, no. 1, pp. 292-302, 2017.ResearchGate
Illusory models of Peano
arithmetic Makoto Kikuchi and Taishi Kurahashi, The Journal of Symbolic Logic , vol. 81, no. 3, pp. 1163-1175,
2016.ResearchGate
Liar-type paradoxes and the
incompleteness phenomena Makoto Kikuchi and Taishi Kurahashi, Journal of Philosophical Logic , vol. 45, no. 4, pp. 381-398,
2016.ResearchGate
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.
ResearchGate
Rosser-type undecidable
sentences based on Yablo's paradox Taishi Kurahashi, Journal of Philosophical Logic , vol. 43, no. 5, pp. 999-1017, 2014.ResearchGate
On Rosser's provability predicates (in Japanese) Journal of the Japan Association for Philosophy of Science , vol. 41, no. 2, pp.
13-21, 2014.pdf (J-STAGE)
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.ResearchGate
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.ResearchGate
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.ResearchGate
Three short stories anound Gödel's incompleteness theorems (in
Japanese) Makoto Kikuchi and Taishi Kurahashi, Journal of the Japan Association for Philosophy of Science , vol. 38, no. 2, pp. 27-32, 2011.pdf (J-STAGE)