3 citations · 4 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
Daniel Rogozin
In this paper, we consider the full Lambek calculus enriched with subexponential modalities in a distributive setting. We show that the distributive Lambek calculus with subexponen…
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…