Daniel Rogozin

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 10

Top Topics

First Order Logic

Relation Algebra

Transitive Closure

Top Venues

J. Log. Comput.

Proc. ACM Program. Lang.

Publications

Daniel Rogozin, Ilya Shapirovsky
On Decidable Extensions of Propositional Dynamic Logic with Converse. FLAP 10 (4) (2023)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
LURK: Lambda, the Ultimate Recursive Knowledge. IACR Cryptol. ePrint Arch. 2023 (2023)
Daniel Rogozin
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic. CoRR (2023)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Daniel Rogozin, Ilya Shapirovsky
On decidable extensions of Propositional Dynamic Logic with Converse. CoRR (2023)
Daniel Rogozin
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability. LFCS (2022)
Daniel Rogozin
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups. J. Log. Comput. 32 (8) (2022)
Daniel Rogozin
Categorical and algebraic aspects of the intuitionistic modal logic IEL - and its predicate extensions. J. Log. Comput. 31 (1) (2021)
Daniel Rogozin
Modal Type Theory Based on the Intuitionistic Modal Logic $\mathbf{IEL}^{-}$. LFCS (2020)
Daniel Rogozin
Quantale semantics of Lambek calculus with subexponential modalities. CoRR (2019)