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