Taishi Kurahashi

Publications

Citations

H-Index

2013

Active since

Affiliations

National Institute of Technology, Kisarazu College(Current)

Taishi Kurahashi is an author at National Institute of Technology, Kisarazu College specializing in automated reasoning, linguistics, and engineering.

ORCID

Top concepts

Automated ReasoningEngineeringLinguisticsFormal MethodsLanguageSemanticsSyntaxFormal VerificationMathematical Foundations

Publications per year

2013–2021

Publications

Arithmetical Completeness Theorem for Modal Logic $$\mathsf{K}$$

Taishi Kurahashi · Studia Logica · 2017 · 14 citations

Engineering, Automated Reasoning, Classical Logic +4

Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations

Taishi Kurahashi · Studia Logica · 2018 · 14 citations

Computability Theory, Computational Number Theory, Arithmetical Soundness

Henkin sentences and local reflection principles for Rosser provability

Taishi Kurahashi · Annals of Pure and Applied Logic · 2015 · 11 citations

Engineering, Automated Reasoning, Formal Methods +4

GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC

Makoto Kikuchi, Taishi Kurahashi · The Review of Symbolic Logic · 2017 · 11 citations · Full text

Incompleteness, Automated Reasoning, Classical Logic +6

Modal completeness of sublogics of the interpretability logic IL

Taishi Kurahashi, Yuya Okawa · Mathematical logic quarterly · 2021 · 11 citations

Non-classical Logic, Engineering, Substructural Logic +12

Rows per page

1–5 of 6