Публикации в базе данных Math-Net.Ru
-
Нормальные напарники интуиционистских модальных логик
Алгебра и логика, 61:6 (2022), 659–686
-
Ряд модальных операторов над интуиционистской логикой
Алгебра и логика, 53:6 (2014), 770–775
-
Композиция интуиционистского отрицания и негативных модальностей как оператор необходимости
Алгебра и логика, 52:3 (2013), 305–331
-
Свойство конечных моделей для негативных модальностей
Сиб. электрон. матем. изв., 10 (2013), 1–21
-
Оператор двойного отрицания в логике $N^*$
Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 68–83
-
Гибридное исчисление для логики $N^*$, её конечная аппроксимируемость и разрешимость
Алгебра и логика, 50:3 (2011), 351–367
© , 2026