1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin
We give a sufficient condition for Kripke completeness of modal logics enriched with the transitive closure modality. More precisely, we show that if a logic admits what we call de…