2 citations · 5 across the 5 of their papers we have counts for
5 papers
Cut-free sequent calculi for the provability logic D
Ryo Kashima, Taishi Kurahashi, Sohei Iwata +1
We say that a Kripke model is a GL-model if the accessibility relation is transitive and converse well-founded. We say that a Kripke model is a D-model if it is obtained by…
The persistence principle over weak interpretability logic
Sohei Iwata, Taishi Kurahashi, Yuya Okawa
We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic…
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…
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…
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…