Sohei Iwata

Available identifiers

zbMath Open iwata.soheiMaRDI QIDQ1625590

List of research outcomes

Publication	Date of Publication	Type
The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}	2024-01-18	Paper
Cut-free sequent calculi for the provability logic D	2023-10-25	Paper
Interpolation properties for Sacchetti's logics	2022-11-11	Paper
The persistence principle over weak interpretability logic	2022-03-04	Paper
Topological semantics of conservativity and interpretability logics	2021-11-09	Paper
Fixed-point properties for predicate modal logics	2019-06-29	Paper
On arithmetical completeness of the logic of proofs	2018-11-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sohei Iwata