Публикации в базе данных Math-Net.Ru
-
Модальные логики с модальностью дополнения
Докл. РАН. Матем., информ., проц. упр., 525 (2025), 31–39
-
Модальные логики с модальностью пересечения
Докл. РАН. Матем., информ., проц. упр., 521 (2025), 107–123
-
Кафедра математической логики и теории алгоритмов
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1, 23–32
-
Filtration safe operations on frames
Advances in Modal Logic, 12 (2014), 333–352
-
Секвенциальные рефлексивные логики с оператором разрешимости
Матем. заметки, 72:6 (2002), 853–868
-
Относительная интерпретируемость модальных логик
Фундамент. и прикл. матем., 7:1 (2001), 47–69
-
Секвенциальная логика арифметической разрешимости
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2001, № 6, 43–48
-
Линейные модальности в минимальной логике
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2001, № 4, 47–50
-
Интерполяционное свойство Крейга в логиках доказательств с оператором сильной доказуемости
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, № 4, 53–55
© , 2026