3 citations · 4 across the 8 of their papers we have counts for
1 paper · 2 filters
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…