Публикации в базе данных Math-Net.Ru
-
Временная логика линейно упорядоченных $\alpha$-пространств
Алгебра и логика, 47:6 (2008), 723–749
-
Отсутствие интерполяционного свойства для исчислений $L\alpha$ и $Lf$
Сиб. матем. журн., 49:1 (2008), 183–188
-
Отсутствие интерполяционного свойства для временных исчислений, связанных с пространствами Ершова
Алгебра и логика, 46:6 (2007), 745–762
-
Модальная логика, полная относительно строго линейно упорядоченных $A$-моделей
Алгебра и логика, 44:5 (2005), 560–582
-
Модальные логики $\alpha$-пространств
Вестн. НГУ. Сер. матем., мех., информ., 5:1 (2005), 40–63
-
Модальная логика на основе линейно упорядоченных $f$-пространств
Алгебра и логика, 42:3 (2003), 320–337
© , 2026