VLDB 2026 Research / reviewers in the wild / expert
Sohei Iwata
dblp:154/9026
· DBLP profile ↗
2ranked-venue papers
2as first author
1since 2021 · last 2021
0009-0003-2933-184XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Topological semantics of conservativity and interpretability logicsabstractAbstract We introduce and develop a topological semantics of conservativity logics and interpretability logics. We prove the topological compactness theorem of consistent normal extensions of the conservativity logic $\textbf {CL}$ by extending Shehtman’s ultrabouquet construction method to our framework. As a consequence, we prove that several extensions of $\textbf {CL}$ such as $\textbf {IL}$, $\textbf {ILM}$, $\textbf {ILP}$ and $\textbf {ILW}$ are strongly complete with respect to our topological semantics. Sohei Iwata, Taishi Kurahashi |
J. Log. Comput. | 1 |
| 2019 | On arithmetical completeness of the logic of proofs
Sohei Iwata, Taishi Kurahashi |
Ann. Pure Appl. Log. | 1 |