2 citations · 2 across the 1 of their papers we have counts for
2 papers
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.LO2020
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{…