6 citations · 9 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 6 cited
Satisfiability problems on sums of Kripke frames
Ilya B. Shapirovsky
We consider the operation of sum on Kripke frames, where a family of frames-summands is indexed by elements of another frame. In many cases, the modal logic of sums inherits the fi…
math.LO2020★ 1 cited
Completeness of logics with the transitive closure modality and related logics
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…