Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
14.03.1994
Ключевые слова: Теоретико-модельные аспекты булевых алгебр с операторами
Основные темы научной работы:
модальная логика,
алгебраическая логика,
алгебры отношений
Основные публикации:
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
