RUS  ENG
Full version
PEOPLE

Mardaev Sergei Il'ich

Publications in Math-Net.Ru

  1. Submodel Defining Formulas

    Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:1 (2011),  82–86
  2. Fixed Points of Formulas with Double Modalities

    Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 9:2 (2009),  55–58
  3. Graded modal operators and fixed points

    Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:1 (2006),  70–76
  4. Fixed Points in Tense Models

    Algebra Logika, 43:5 (2004),  589–602
  5. Definability of Least Fixed Points

    Algebra Logika, 41:4 (2002),  429–458
  6. Modal positive operators

    Algebra Logika, 38:5 (1999),  585–597
  7. Negative modal schemes

    Algebra Logika, 37:3 (1998),  329–337
  8. Convergence of positive schemes in ${\rm S}4$ and ${\rm Int}$

    Algebra Logika, 33:2 (1994),  166–178
  9. Least fixed points in the Gödel-Löb logic

    Algebra Logika, 32:6 (1993),  683–689
  10. Least fixed points in Grzegorczyk logic and intuitionistic propositional logic

    Algebra Logika, 32:5 (1993),  519–536
  11. Fixed points of modal schemes

    Algebra Logika, 31:5 (1992),  493–498
  12. Embedding of implicative lattices and superintuitionistic logics

    Algebra Logika, 26:3 (1987),  318–357
  13. The number of prelocal-tabular superintuitionistic propositional logics

    Algebra Logika, 23:1 (1984),  74–87


© Steklov Math. Inst. of RAS, 2024