Taishi Kurahashi
Orcid: 0000000320165980
According to our database^{1},
Taishi Kurahashi
authored at least 31 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2024
Arch. Math. Log., May, 2024
Math. Log. Q., February, 2024
Arch. Math. Log., February, 2024
Rev. Symb. Log., 2024
J. Log. Comput., 2024
2023
Stud Logica, October, 2023
Ann. Pure Appl. Log., July, 2023
J. Symb. Log., 2023
2022
Stud Logica, 2022
Math. Log. Q., 2022
Ann. Pure Appl. Log., 2022
2021
Math. Log. Q., 2021
J. Log. Comput., 2021
J. Symb. Log., 2021
2020
Stud Logica, 2020
J. Symb. Log., 2020
Arch. Math. Log., 2020
2019
Ann. Pure Appl. Log., 2019
2018
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations.
Stud Logica, 2018
Stud Logica, 2018
J. Symb. Log., 2018
Arch. Math. Log., 2018
2017
Generalizations of Gödel's Incompleteness theorems for ∑ n Definable Theories of Arithmetic.
Rev. Symb. Log., 2017
J. Symb. Log., 2017
2016
J. Symb. Log., 2016
J. Philos. Log., 2016
Ann. Pure Appl. Log., 2016
2014
J. Philos. Log., 2014
2013
Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability.
Rev. Symb. Log., 2013
On predicate provability logics and binumerations of fragments of Peano arithmetic.
Arch. Math. Log., 2013
2012
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.
Math. Log. Q., 2012