research
∙
08/08/2023
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
In this paper, we consider the full Lambek calculus enriched with subexp...
share
research
∙
03/17/2023
On decidable extensions of Propositional Dynamic Logic with Converse
We describe a family of decidable propositional dynamic logics, where at...
research
∙
07/30/2019
