Taishi Kurahashi

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 26

Top Topics

Hierarchical Classification

Inference Rules

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Sohei Iwata, Taishi Kurahashi, Yuya Okawa
The persistence principle over weak interpretability logic. Math. Log. Q. 70 (1) (2024)
Taishi Kurahashi, Motoki Okuda
Disjunction and existence Properties in Modal Arithmetic. Rev. Symb. Log. 17 (1) (2024)
Makoto Fujiwara, Taishi Kurahashi
Prenex normalization and the hierarchical classification of formulas. Arch. Math. Log. 63 (3-4) (2024)
Sohei Iwata, Taishi Kurahashi, Yuya Okawa
The fixed point and the Craig interpolation properties for sublogics of bfIL. Arch. Math. Log. 63 (1) (2024)
Taishi Kurahashi
Some Observations on the FGH Theorem. Stud Logica 111 (5) (2023)
Makoto Fujiwara, Taishi Kurahashi
Conservation theorems on Semi-Classical Arithmetic. J. Symb. Log. 88 (4) (2023)
Haruka Kogure, Taishi Kurahashi
Arithmetical completeness theorems for monotonic modal logics. Ann. Pure Appl. Log. 174 (7) (2023)
Taishi Kurahashi
On Inclusions Between Quantified Provability Logics. Stud Logica 110 (1) (2022)
Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser
On Guaspari's problem about partially conservative sentences. Ann. Pure Appl. Log. 173 (5) (2022)
Makoto Fujiwara, Taishi Kurahashi
Refining the arithmetical hierarchy of classical principles. Math. Log. Q. 68 (3) (2022)
Taishi Kurahashi, Yuya Okawa
Modal completeness of sublogics of the interpretability logic IL. Math. Log. Q. 67 (2) (2021)
Sohei Iwata, Taishi Kurahashi
Topological semantics of conservativity and interpretability logics. J. Log. Comput. 31 (7) (2021)
Makoto Fujiwara, Taishi Kurahashi
Prenex Normal Form theorems in Semi-Classical Arithmetic. J. Symb. Log. 86 (3) (2021)
Taishi Kurahashi
Rosser Provability and Normal Modal Logics. Stud Logica 108 (3) (2020)
Taishi Kurahashi
A note on Derivability conditions. J. Symb. Log. 85 (3) (2020)
Taishi Kurahashi
Uniform Lyndon interpolation property in propositional modal logics. Arch. Math. Log. 59 (5-6) (2020)
Sohei Iwata, Taishi Kurahashi
On arithmetical completeness of the logic of proofs. Ann. Pure Appl. Log. 170 (2) (2019)
Taishi Kurahashi
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations. Stud Logica 106 (6) (2018)
Taishi Kurahashi
Arithmetical Completeness Theorem for Modal Logic K. Stud Logica 106 (2) (2018)
Taishi Kurahashi
Provability Logics Relative to a fixed Extension of Peano Arithmetic. J. Symb. Log. 83 (3) (2018)
Taishi Kurahashi
On partial disjunction properties of theories containing Peano arithmetic. Arch. Math. Log. 57 (7-8) (2018)
Makoto Kikuchi, Taishi Kurahashi
Universal Rosser Predicates. J. Symb. Log. 82 (1) (2017)
Makoto Kikuchi, Taishi Kurahashi
Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic. Rev. Symb. Log. 10 (4) (2017)
Makoto Kikuchi, Taishi Kurahashi
Liar-type Paradoxes and the Incompleteness Phenomena. J. Philos. Log. 45 (4) (2016)
Taishi Kurahashi
Henkin sentences and local reflection principles for Rosser provability. Ann. Pure Appl. Log. 167 (2) (2016)
Makoto Kikuchi, Taishi Kurahashi
Illusory Models of Peano Arithmetic. J. Symb. Log. 81 (3) (2016)
Taishi Kurahashi
Rosser-Type Undecidable Sentences Based on Yablo's Paradox. J. Philos. Log. 43 (5) (2014)
Taishi Kurahashi
On predicate provability logics and binumerations of fragments of Peano arithmetic. Arch. Math. Log. 52 (7-8) (2013)
Taishi Kurahashi
Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability. Rev. Symb. Log. 6 (1) (2013)
Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos. Math. Log. Q. 58 (4-5) (2012)