2 citations · 2 across the 1 of their papers we have counts for
3 papers
math.LO2021
Topological semantics of conservativity and interpretability logics
Sohei Iwata, Taishi Kurahashi
We introduce and develop a topological semantics of conservativity logics and interpretability logics. We prove the topological compactness theorem of consistent normal extensions…
math.LO2020★ 2 cited
The fixed point and the Craig interpolation properties for sublogics of
Sohei Iwata, Taishi Kurahashi, Yuya Okawa
We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic . We provide a complete description of these sublogi…
math.LO2019
Fixed-point properties for predicate modal logics
Sohei Iwata, Taishi Kurahashi
It is well known that the propositional modal logic of provability satisfies the de Jongh-Sambin fixed-point property. On the other hand, Montagna showed that the pre…