|
|
Publications in Math-Net.Ru |
Citations |
|
2011 |
1. |
S. I. Mardaev, “Submodel Defining Formulas”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:1 (2011), 82–86 |
|
2009 |
2. |
S. I. Mardaev, “Fixed Points of Formulas with Double Modalities”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 9:2 (2009), 55–58 |
|
2006 |
3. |
S. I. Mardaev, “Graded modal operators and fixed points”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:1 (2006), 70–76 |
|
2004 |
4. |
S. I. Mardaev, “Fixed Points in Tense Models”, Algebra Logika, 43:5 (2004), 589–602 ; Algebra and Logic, 43:5 (2004), 331–338 |
2
|
|
2002 |
5. |
S. I. Mardaev, “Definability of Least Fixed Points”, Algebra Logika, 41:4 (2002), 429–458 ; Algebra and Logic, 41:4 (2002), 237–253 |
3
|
|
1999 |
6. |
S. I. Mardaev, “Modal positive operators”, Algebra Logika, 38:5 (1999), 585–597 |
1
|
|
1998 |
7. |
S. I. Mardaev, “Negative modal schemes”, Algebra Logika, 37:3 (1998), 329–337 |
2
|
|
1994 |
8. |
S. I. Mardaev, “Convergence of positive schemes in ${\rm S}4$ and ${\rm
Int}$”, Algebra Logika, 33:2 (1994), 166–178 |
4
|
|
1993 |
9. |
S. I. Mardaev, “Least fixed points in the Gödel-Löb logic”, Algebra Logika, 32:6 (1993), 683–689 |
6
|
10. |
S. I. Mardaev, “Least fixed points in Grzegorczyk logic and intuitionistic
propositional logic”, Algebra Logika, 32:5 (1993), 519–536 |
11
|
|
1992 |
11. |
S. I. Mardaev, “Fixed points of modal schemes”, Algebra Logika, 31:5 (1992), 493–498 |
5
|
|
1987 |
12. |
S. I. Mardaev, “Embedding of implicative lattices and superintuitionistic
logics”, Algebra Logika, 26:3 (1987), 318–357 |
2
|
|
1984 |
13. |
S. I. Mardaev, “The number of prelocal-tabular superintuitionistic
propositional logics”, Algebra Logika, 23:1 (1984), 74–87 |
1
|
|
Organisations |
|
|
|
|