|
|
|
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  |
1
|
|
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 |
2
|
|
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 |
5
|
| 10. |
S. I. Mardaev, “Least fixed points in Grzegorczyk logic and intuitionistic
propositional logic”, Algebra Logika, 32:5 (1993), 519–536 |
10
|
|
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 |
|
| |
|
|
Contact us: