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

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

collaborators
Showing 2020Show all

1 paper · 1 filter

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…