Taishi Kurahashi

36 papers Journal 36
YearRankTypeTitle / Venue / Authors
2026 J jnl
CERTIFIED $ \Sigma _1$ -SENTENCES.
J. Symb. Log.
Taishi Kurahashi, Albert Visser
2025 J jnl
Cut-Free Sequent Calculi for the Provability Logic d.
Rev. Symb. Log.
Ryo Kashima, Taishi Kurahashi, Sohei Iwata, So Morioka
2025 J jnl
On the conservation results for local reflection principles.
J. Log. Comput.
Haruka Kogure, Taishi Kurahashi
2025 J jnl
Smullyan's truth and provability.
J. Log. Comput.
Taishi Kurahashi, Kohei Tominaga
2024 J jnl
Disjunction and existence Properties in Modal Arithmetic.
Rev. Symb. Log.
Taishi Kurahashi, Motoki Okuda
2024 J jnl
Pour-el's Landscape.
Bull. Symb. Log.
Taishi Kurahashi, Albert Visser
2024 J jnl
Prenex normalization and the hierarchical classification of formulas.
Arch. Math. Log.
Makoto Fujiwara, Taishi Kurahashi
2024 J jnl
The fixed point and the Craig interpolation properties for sublogics of bfIL.
Arch. Math. Log.
Sohei Iwata, Taishi Kurahashi, Yuya Okawa
2024 J jnl
The persistence principle over weak interpretability logic.
Math. Log. Q.
Sohei Iwata, Taishi Kurahashi, Yuya Okawa
2024 J jnl
The provability logic of all provability predicates.
J. Log. Comput.
Taishi Kurahashi
2023 J jnl
Arithmetical completeness theorems for monotonic modal logics.
Ann. Pure Appl. Log.
Haruka Kogure, Taishi Kurahashi
2023 J jnl
Conservation theorems on Semi-Classical Arithmetic.
J. Symb. Log.
Makoto Fujiwara, Taishi Kurahashi
2023 J jnl
Some Observations on the FGH Theorem.
Stud Logica
Taishi Kurahashi
2022 J jnl
On Guaspari's problem about partially conservative sentences.
Ann. Pure Appl. Log.
Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser
2022 J jnl
On Inclusions Between Quantified Provability Logics.
Stud Logica
Taishi Kurahashi
2022 J jnl
Refining the arithmetical hierarchy of classical principles.
Math. Log. Q.
Makoto Fujiwara, Taishi Kurahashi
2021 J jnl
Modal completeness of sublogics of the interpretability logic IL.
Math. Log. Q.
Taishi Kurahashi, Yuya Okawa
2021 J jnl
Prenex Normal Form theorems in Semi-Classical Arithmetic.
J. Symb. Log.
Makoto Fujiwara, Taishi Kurahashi
2021 J jnl
Topological semantics of conservativity and interpretability logics.
J. Log. Comput.
Sohei Iwata, Taishi Kurahashi
2020 J jnl
A note on Derivability conditions.
J. Symb. Log.
Taishi Kurahashi
2020 J jnl
Rosser Provability and Normal Modal Logics.
Stud Logica
Taishi Kurahashi
2020 J jnl
Uniform Lyndon interpolation property in propositional modal logics.
Arch. Math. Log.
Taishi Kurahashi
2019 J jnl
On arithmetical completeness of the logic of proofs.
Ann. Pure Appl. Log.
Sohei Iwata, Taishi Kurahashi
2018 J jnl
Arithmetical Completeness Theorem for Modal Logic K.
Stud Logica
Taishi Kurahashi
2018 J jnl
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations.
Stud Logica
Taishi Kurahashi
2018 J jnl
On partial disjunction properties of theories containing Peano arithmetic.
Arch. Math. Log.
Taishi Kurahashi
2018 J jnl
Provability Logics Relative to a fixed Extension of Peano Arithmetic.
J. Symb. Log.
Taishi Kurahashi
2017 J jnl
Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic.
Rev. Symb. Log.
Makoto Kikuchi, Taishi Kurahashi
2017 J jnl
Universal Rosser Predicates.
J. Symb. Log.
Makoto Kikuchi, Taishi Kurahashi
2016 J jnl
Henkin sentences and local reflection principles for Rosser provability.
Ann. Pure Appl. Log.
Taishi Kurahashi
2016 J jnl
Illusory Models of Peano Arithmetic.
J. Symb. Log.
Makoto Kikuchi, Taishi Kurahashi
2016 J jnl
Liar-type Paradoxes and the Incompleteness Phenomena.
J. Philos. Log.
Makoto Kikuchi, Taishi Kurahashi
2014 J jnl
Rosser-Type Undecidable Sentences Based on Yablo's Paradox.
J. Philos. Log.
Taishi Kurahashi
2013 J jnl
Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability.
Rev. Symb. Log.
Taishi Kurahashi
2013 J jnl
On predicate provability logics and binumerations of fragments of Peano arithmetic.
Arch. Math. Log.
Taishi Kurahashi
2012 J jnl
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.
Math. Log. Q.
Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai