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