Daniel Rogozin

According to our database, Daniel Rogozin authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report).

Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong

Proc. ACM Program. Lang., August, 2023

LURK: Lambda, the Ultimate Recursive Knowledge.

Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong

IACR Cryptol. ePrint Arch., 2023

On Decidable Extensions of Propositional Dynamic Logic with Converse.

Daniel Rogozin, Ilya Shapirovsky

FLAP, 2023

Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic.

Daniel Rogozin

Proceedings of the Proceedings Modalities in substructural logics: Applications at the interfaces of logic, 2023

2022

Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups.

Daniel Rogozin

J. Log. Comput., 2022

Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability.

Daniel Rogozin

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021

Categorical and algebraic aspects of the intuitionistic modal logic IEL - and its predicate extensions.

Daniel Rogozin

J. Log. Comput., 2021

2020

Modal Type Theory Based on the Intuitionistic Modal Logic $\mathbf{IEL}^{-}$.

Daniel Rogozin

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

2019

Quantale semantics of Lambek calculus with subexponential modalities.

Daniel Rogozin

CoRR, 2019