2 citations · 4 across the 6 of their papers we have counts for
7 papers
Visser frames for sublogics of
Yuya Okawa, Taishi Kurahashi
We study the modal completeness and the finite frame property of several sublogics of the logic of interpretability with respect to Visser frames, which are also call…
Unary interpretability logics for sublogics of the interpretability logic
Yuya Okawa
De Rijke introduced a unary interpretability logic , and proved that is the unary counterpart of the binary interpretability logic . In this…
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…
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…
Modal completeness of sublogics of the interpretability logic
Taishi Kurahashi, Yuya Okawa
We study modal completeness and incompleteness of several sublogics of the interpretability logic . We introduce the sublogic , and prove that $\mathbf{…
On Guaspari's problem about partially conservative sentences
Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov +1
We investigate sentences which are simultaneously partially conservative over several theories. First, we generalize Bennet's results on this topic to the case of more than two the…
Effectively constructible fixed points in Sacchetti's modal logics of provability
Taishi Kurahashi, Yuya Okawa
We give a purely syntactical proof of the fixed point theorem for Sacchetti's modal logics () of provability. From our proof,…