Sohei Iwata

dblp:154/9026 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2021 Topological semantics of conservativity and interpretability logics
abstract
Abstract 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