Публикации в базе данных Math-Net.Ru
-
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
© , 2024