Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions D Rogozin Journal of Logic and Computation 31 (1), 347-374, 2021 | 10 | 2021 |
Modal Type Theory Based on the Intuitionistic Modal Logic IEL― D Rogozin Logical Foundations of Computer Science: International Symposium, LFCS 2020 …, 2019 | 4* | 2019 |
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) N Amin, J Burnham, F Garillot, R Gennaro, C Künzang, D Rogozin, ... Proceedings of the ACM on Programming Languages 7 (ICFP), 259-274, 2023 | 3* | 2023 |
On decidable extensions of Propositional Dynamic Logic with Converse D Rogozin, I Shapirovsky arXiv preprint arXiv:2303.09948, 2023 | 1 | 2023 |
Reducts of relation algebras: The aspects of axiomatisability and finite representability D Rogozin Logical Foundations of Computer Science: International Symposium, LFCS 2022 …, 2022 | 1* | 2022 |
The distributive full Lambek calculus with modal operators D Rogozin arXiv preprint arXiv:2003.09975, 2020 | 1 | 2020 |
Quantale semantics of Lambek calculus with subexponential modalities D Rogozin arXiv preprint arXiv:1908.01055, 2019 | 1 | 2019 |
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic D Rogozin arXiv preprint arXiv:2308.04521, 2023 | | 2023 |
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups D Rogozin Journal of Logic and Computation 32 (8), 1839-1854, 2022 | | 2022 |
Canonical extensions for the Distributive Full Lambek Calculus with Modal Operators D Rogozin Short Papers Advances in Modal Logic AiML 2020, 81, 2020 | | 2020 |