01.01.06 (Mathematical logic, algebra, and number theory)
Birth date:
14.03.1994
Keywords:
Model-theoretic aspects with Boolean algebras with operatorz
Subject:
modal logic,
algebraic logic,
relation algebras
Main publications:
Daniel Rogozin, “Quantale semantics of Lambek calculus with subexponential modalities”, https://arxiv.org/abs/1908.01055, arXiv, 2019
Daniel Rogozin, “Quantale semantics for Lambek calculus with subexponentials”, https://math.unice.fr/tacl/assets/2019/abstracts.pdf, TACL 2019. Abstracts., 2019
Daniel Rogozin, “Modal Type Theory Based on the Intuitionistic Modal Logic $IEL^{-}$”, Logical Foundations of Computer Science, Lecture Notes in Computer Science, 2020, 236–248
Contact us: