On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos. - Makoto Kikuchi; Taishi Kurahashi; Hiroshi Sakai (Math. Log. Q., 2012)

On predicate provability logics and binumerations of fragments of Peano arithmetic. - Taishi Kurahashi (Arch. Math. Log., 2013)

Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability. - Taishi Kurahashi (Rev. Symb. Log., 2013)

Rosser-Type Undecidable Sentences Based on Yablo's Paradox. - Taishi Kurahashi (J. Philos. Log., 2014)

Henkin sentences and local reflection principles for Rosser provability. - Taishi Kurahashi (Ann. Pure Appl. Log., 2016)

Liar-type Paradoxes and the Incompleteness Phenomena. - Makoto Kikuchi; Taishi Kurahashi (J. Philos. Log., 2016)

Illusory Models of Peano Arithmetic. - Makoto Kikuchi; Taishi Kurahashi (J. Symb. Log., 2016)

Universal Rosser Predicates. - Makoto Kikuchi; Taishi Kurahashi (J. Symb. Log., 2017)

Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic. - Makoto Kikuchi; Taishi Kurahashi (Rev. Symb. Log., 2017)

On partial disjunction properties of theories containing Peano arithmetic. - Taishi Kurahashi (Arch. Math. Log., 2018)

Provability Logics Relative to a fixed Extension of Peano Arithmetic. - Taishi Kurahashi (J. Symb. Log., 2018)

Arithmetical Completeness Theorem for Modal Logic K. - Taishi Kurahashi (Stud Logica, 2018)

Arithmetical Soundness and Completeness for $$ varvec{ Sigma }_{ varvec{2}}$$ Σ 2 Numerations. - Taishi Kurahashi (Stud Logica, 2018)

On arithmetical completeness of the logic of proofs. - Sohei Iwata; Taishi Kurahashi (Ann. Pure Appl. Log., 2019)

Uniform Lyndon interpolation property in propositional modal logics. - Taishi Kurahashi (Arch. Math. Log., 2020)

A note on Derivability conditions. - Taishi Kurahashi (J. Symb. Log., 2020)

Rosser Provability and Normal Modal Logics. - Taishi Kurahashi (Stud Logica, 2020)

Prenex Normal Form theorems in Semi-Classical Arithmetic. - Makoto Fujiwara; Taishi Kurahashi (J. Symb. Log., 2021)

Topological semantics of conservativity and interpretability logics. - Sohei Iwata; Taishi Kurahashi (J. Log. Comput., 2021)

Modal completeness of sublogics of the interpretability logic IL. - Taishi Kurahashi; Yuya Okawa (Math. Log. Q., 2021)

On Guaspari's problem about partially conservative sentences. - Taishi Kurahashi; Yuya Okawa; V. Yu. Shavrukov; Albert Visser (Ann. Pure Appl. Log., 2022)

Refining the arithmetical hierarchy of classical principles. - Makoto Fujiwara; Taishi Kurahashi (Math. Log. Q., 2022)

On Inclusions Between Quantified Provability Logics. - Taishi Kurahashi (Stud Logica, 2022)

Conservation theorems on Semi-Classical Arithmetic. - Makoto Fujiwara; Taishi Kurahashi (J. Symb. Log., 2023)

Arithmetical completeness theorems for monotonic modal logics. - Haruka Kogure; Taishi Kurahashi (Ann. Pure Appl. Log., 2023)

Some Observations on the FGH Theorem. - Taishi Kurahashi (Stud Logica, 2023)

Pour-el's Landscape. - Taishi Kurahashi; Albert Visser (Bull. Symb. Log., 2024)

The provability logic of all provability predicates. - Taishi Kurahashi (J. Log. Comput., 2024)

Disjunction and existence Properties in Modal Arithmetic. - Taishi Kurahashi; Motoki Okuda (Rev. Symb. Log., 2024)

The fixed point and the Craig interpolation properties for sublogics of bfIL. - Sohei Iwata; Taishi Kurahashi; Yuya Okawa (Arch. Math. Log., 2024)

The persistence principle over weak interpretability logic. - Sohei Iwata; Taishi Kurahashi; Yuya Okawa (Math. Log. Q., 2024)

Prenex normalization and the hierarchical classification of formulas. - Makoto Fujiwara; Taishi Kurahashi (Arch. Math. Log., 2024)

On the conservation results for local reflection principles. - Haruka Kogure; Taishi Kurahashi (J. Log. Comput., 2025)

Smullyan's truth and provability. - Taishi Kurahashi; Kohei Tominaga (J. Log. Comput., 2025)