Мардаев Сергей Ильич

Публикации в базе данных Math-Net.Ru

1. Подмодельные определяющие формулы
   
   Вестн. НГУ. Сер. матем., мех., информ., 11:1 (2011),  82–86
2. Неподвижные точки формул с двойными модальностями
   
   Вестн. НГУ. Сер. матем., мех., информ., 9:2 (2009),  55–58
3. Считающие модальные операторы и неподвижные точки
   
   Вестн. НГУ. Сер. матем., мех., информ., 6:1 (2006),  70–76
4. Неподвижные точки во временных моделях
   
   Алгебра и логика, 43:5 (2004),  589–602
5. Определимость наименьших неподвижных точек
   
   Алгебра и логика, 41:4 (2002),  429–458
6. Модальные позитивные операторы
   
   Алгебра и логика, 38:5 (1999),  585–597
7. Негативные модальные схемы
   
   Алгебра и логика, 37:3 (1998),  329–337
8. О сходимости позитивных схем $\mathrm{S4}$ и $\operatorname{Int}$
   
   Алгебра и логика, 33:2 (1994),  166–178
9. Наименьшие неподвижные точки в логике Гёделя–Леба
   
   Алгебра и логика, 32:6 (1993),  683–689
10. Наименьшие неподвижные точки в логике Гжегорчика и интуиционистской пропозициональной логике
    
    Алгебра и логика, 32:5 (1993),  519–536
11. Неподвижные точки модальных схем
    
    Алгебра и логика, 31:5 (1992),  493–498
12. Вложения импликативных решеток и суперинтуиционистские логики
    
    Алгебра и логика, 26:3 (1987),  318–357
13. О числе предлокально-табличных суперинтуиционистских пропозициональных логик
    
    Алгебра и логика, 23:1 (1984),  74–87