Yuya Okawa

activity

20182022

most citedThe fixed point and the Craig interpolation properties for sublogics of

IL

2 citations · 4 across the 6 of their papers we have counts for

collaborators

Showing 2022Show all

3 papers · 1 filter

math.LO2022

Visser frames for sublogics of $IL$

Yuya Okawa, Taishi Kurahashi

We study the modal completeness and the finite frame property of several sublogics of the logic $IL$ of interpretability with respect to Visser frames, which are also call…

math.LO2022

Unary interpretability logics for sublogics of the interpretability logic $IL$

Yuya Okawa

De Rijke introduced a unary interpretability logic $il$ , and proved that $il$ is the unary counterpart of the binary interpretability logic $IL$ . In this…

math.LO2022★ 1 cited

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…

Visser frames for sublogics of IL

Unary interpretability logics for sublogics of the interpretability logic IL

The persistence principle over weak interpretability logic

Visser frames for sublogics of $IL$

Unary interpretability logics for sublogics of the interpretability logic $IL$