Get started
Author

Sohei Iwata

Observed names: Iwata, Sohei, SOHEI IWATA, Sohei IWATA
ORCID: 0009-0003-2933-184X
Observed ORCID: 0009-0003-2933-184X
OpenAlex ID: A5001973465
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$
2023 · Sohei Iwata, Taishi Kurahashi, et al. · Archive for Mathematical Logic · 3
PDF
The persistence principle over weak interpretability logic
2023 · Sohei Iwata, Taishi Kurahashi, et al. · Mathematical logic quarterly · 2
PDF
Topological semantics of conservativity and interpretability logics
2021 · Sohei Iwata, Taishi Kurahashi · Journal of Logic and Computation · 2
PDF
The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$
2020 · Iwata, Sohei, Kurahashi, Taishi, et al. · arXiv (Cornell University) · 2
PDF
Cut-free Sequent Calculi for the Provability Logic D
2025 · RYO KASHIMA, TAISHI KURAHASHI, et al. · The Review of Symbolic Logic
PDF
Cut-free sequent calculi for the provability logic D
2023 · 鹿島 亮, Ryo Kashima, et al. · Institutional Repositories DataBase (IRDB)
Interpolation Properties for Sacchetti’s Logics
2021 · Sohei Iwata · Springer proceedings in mathematics & statistics
算術的解釈を持つ様相論理に関する諸結果について
2020 · Iwata, Sohei · Institutional Repositories DataBase (IRDB)
PDF
Fixed-point properties for predicate modal logics
2020 · Sohei IWATA, Taishi KURAHASHI · Annals of the Japan Association for Philosophy of Science
PDF
Fixed-point properties for predicate modal logics
2019 · Iwata, Sohei, Kurahashi, Taishi · arXiv (Cornell University)
PDF
On arithmetical completeness of the logic of proofs
2018 · Sohei Iwata, Taishi Kurahashi · Annals of Pure and Applied Logic
Works count: 12
Citation count: 9
H-index: 2
I10-index:
Year
Topic
Type