6 citations · 9 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
On decidable extensions of Propositional Dynamic Logic with Converse
Daniel Rogozin, Ilya Shapirovsky
We describe a family of decidable propositional dynamic logics, where atomic modalities satisfy some extra conditions (for example, given by axioms of the logics K5, S5, or K45 for…
math.LO2023
Decidability of modal logics of non--colorable graphs
Ilya Shapirovsky
We consider the bimodal language, where the first modality is interpreted by a binary relation in the standard way, and the second is interpreted by the relation of inequality. It…