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

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

collaborators
Showing 2023Show all

1 paper · 1 filter

math.LO2023

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…