3 citations · 4 across the 8 of their papers we have counts for
8 papers
Intuitionistic Linear Logic with Subexponentials: Type Theory, Categorical Models and Realisability
Daniel Rogozin
In this paper, we present a typed lambda calculus , a type-theoretic version of multiplicative intuitionistic linear logic with subexponentials, that is, we have m…
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…
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…
Reducts of relation algebras: The aspects of axiomatisability and finite representability
Daniel Rogozin
In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is rep…
The finite representation property for some reducts of relation algebras
Daniel Rogozin
In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is iso…
Categorical and Algebraic Aspects of the Intuitionistic Modal Logic and its predicate extensions
Daniel Rogozin
The system of intuitionistic modal logic was proposed by S. Artemov and T. Protopopescu as the intuitionistic version of belief logic \cite{Artemov}. We construct t…
The Distributive Full Lambek Calculus with Modal Operators
Daniel Rogozin
In this paper, we study logics of bounded distributive residuated lattices with modal operators considering and in a noncommutative setting. We introduce relation…
Quantale semantics of Lambek calculus with subexponential modalities
Daniel Rogozin
In this paper, we consider the polymodal version of Lambek calculus with subexponential modalities initially introduced by Kanovich, Kuznetsov, Nigam, and Scedrov and its quantale…