[1] “O chisle predlokalno–konechnykh mnogoobrazii psevdobulevykh algebr”, 17 Vsesoyuzn. alg. konf., tezisy soobsch. (Minsk, 1983), v. 2, 141–142

[2] “O chisle predlokalno-tablichnykh superintuitsionistskikh logik”, 7 Vsesoyuzn. konf. po mat. logike, tezisy dokladov (Novosibirsk, 1984), 100

[3] “Number of prelocally table superintuitionistic propositional logics”, Algebra and Logic, 23:1 (1984), 56–66 | DOI | MR | Zbl

[4] “O konechno-porozhdennykh implikativnykh reshetkakh”, 18 Vsesoyuzn. alg. konf., tezisy soobsch. (Kishinev, 1985), v. 2, 13

[5] “Finitno predapproksimiruemye superintuitsionistskie logiki”, 8 Vsesoyuzn. konf. po mat. logike, tezisy dokladov (Moskva, 1986), 112

[6] “Predlokalno-tablichnye logiki”, Logika i sistemnye metody analiza nauchnogo znaniya, Tezisy dokladov k 9 Vsesoyuzn. sovesch. po logike, metodol. i filos. nauki (Kharkov, 1986), 36–37

[7] “Prelocally–tabular logics”, 8 Mezhdunar. kongress po logike, metodol. i filos. nauki, abstracts (Moskva, 1987), v. 5, part 3, 449

[8] “Embeddings of implicative lattices and superintuitionistic logics”, Algebra and Logic, 26:3 (1987), 178–205 | DOI | MR | Zbl

[9] “Dve posledovatelnosti mnogoobrazii psevdobulevykh algebr”, 19 Vsesoyuzn. alg. konf., tezisy soobsch. (Lvov, 1987), v. 2, 176

[10] Dve ierarkhii lokalno-tablichnykh superintuitsionistskikh logik, Preprint IM SO AN SSSR No 10, Novosibirsk, 1987, 30 pp.

[11] Superintuitsionistskie logiki s usloviyami finitnosti, avtoreferat dissertatsii na soiskanie uchenoi stepeni kandidata fiziko-matematicheskikh nauk, Novosibirsk, 1987, 16 pp.

[12] Superintuitsionistskie logiki s usloviyami finitnosti, dissertatsiya na soiskanie uchenoi stepeni kandidata fiziko-matematicheskikh nauk, Novosibirsk, 1987, 109 pp.

[13] “Finitno-predapproksimiruemaya logika, ne soderzhaschaya slabyi zakon isklyuchennogo tretego”, 9 Vsesoyuzn. konf. po mat. logike, tezisy dokladov (Leningrad, 1988), 101

[14] “Finitno-predapproksimiruemaya logika, ne soderzhaschaya slabogo zakona isklyuchennogo tretego”, Konstruktsii v algebre i logike, Tver, 1990, 73–77

[15] “O nelokalnokonechnykh mnogoobraziyakh psevdobulevykh algebr”, 10 Vsesoyuzn. konf. po mat. logike, tezisy dokladov (Alma-Ata, 1990), 110

[16] “Two sequences of locally tabular superintuitionistic logics”, Studia Logica, 50:2 (1991), 333–342 | DOI | MR

[17] “Nepodvizhnye tochki modalnykh skhem”, 11 Mezhresp. konf. po mat. logike, tezisy soobsch. (Kazan, 1992), 95

[18] “Fixed Points of Modal Schemes”, Algebra and Logic, 31:5 (1992), 292–295 | DOI | MR | Zbl

[19] “Smallest-fixed-point theorem for intuitionistic propositional logic and Grzegorczyk logic”, Logic Colloquium’93, abstracts (Keele, 1993), 1 pp.

[20] “Smallest-fixed-point theorem for modal logic GL”, 3 Mezhdunar. konf. po algebre, sb. tezisov (Krasnoyarsk, 1993), 414

[21] “Least Fixed Points in Grzegorczyk Logic and in the Intuitionistic Propositional Logic”, Algebra and Logic, 32:5 (1993), 279–288 | DOI | MR | Zbl

[22] “Least Fixed Points in the Gödel–Löb Logic”, Algebra and Logic, 32:6 (1993), 372–375 | DOI | MR | Zbl

[23] “Convergence of Positive Schemes in S4 and Int”, Algebra and Logic, 33:2 (1994), 95–101 | DOI | MR | Zbl

[24] “Smallest-Fixed-Point Theorem for Modal Logic S4”, Logic Colloquium’94, abstracts (Clermont-Ferrand, 1994), 86

[25] “Smallest Fixed Points in Modal Logics”, Workshop on Non–Standard Logics and Logical Aspects of Computer Science, abstracts (Kanazawa, 1994), 3

[26] “Fixed points of negative $\Pi$-schemes”, 2nd Workshop on Non-Standard Logics and Logical Aspects of Computer Science, abstracts (Irkutsk, 1995), 52

[27] “Smallest-fixed-point theorem for intuitionistic propositional logic and Grzegorczyk logic”, The Bulletin of Symbolic Logic, 1:1 (1995), 112

[28] “Smallest-Fixed-Point Theorem for Modal Logic S4”, The Bulletin of Symbolic Logic, 1:2 (1995), 251

[29] “Fixed points of negative schemes”, Logic Colloquium’96, abstracts (Donostia — San Sebastian, 1996), 131

[30] “Fixed points of modal negative operators”, Bulletin of the Section of Logic, 26:3 (1997), 135–138 | MR

[31] “Modalnye $\Pi$–skhemy”, Algebra i teoriya modelei, trudy 2-oi mezhdunarodnoi shkoly «Pogranichnye voprosy teorii modelei i universalnoi algebry» (Erlagol, 17–21 iyunya 1997 g.), Izdatelstvo NGTU, Novosibirsk, 1997, 99–109

[32] “Least Fixed Points of Modal Formulas”, Logic Colloquium’98, abstracts (Prague, 1998), 99

[33] “Negative modal schemes”, Algebra and Logic, 37:3 (1998), 187–191 | DOI | MR | Zbl

[34] “Least Fixed Points of Modal Formulas”, The Bulletin of Symbolic Logic, 5:1 (1999), 143

[35] “Definability in modal, intuitionistic, and temporal logics”, Materialy Mezhdunarodnoi konferentsii po matematicheskoi logike, posvyaschennoi 90-letiyu so dnya rozhdeniya A. I. Maltseva, Tezisy dokladov (Novosibirsk, 1999), 97 (with L. L. Maksimova) | Zbl

[36] “Least Fixed Points in Temporal Logic”, Logic Colloquium’99, abstracts (Utrecht, 1999), 37

[37] “Modal positive operators”, Algebra and Logic, 38:5 (1999), 319–325 | DOI | MR | Zbl

[38] “Nepodvizhnye tochki vremennykh operatorov”, Algebra i teoriya modelei 2, Trudy 3-ei mezhdunarodnoi shkoly «Pogranichnye voprosy teorii modelei i universalnoi algebry» (Erlagol, 21–27 iyunya 1999 g.), Izdatelstvo NGTU, Novosibirsk, 1999, 68–77

[39] “Least fixed points in temporal logic”, The Bulletin of Symbolic Logic, 6:1 (2000), 120

[40] “Definability of least fixed points”, Logika i prilozheniya, Tezisy mezhdunarodnoi konferentsii, posvyaschennoi 60-letiyu so dnya rozhdeniya akademika Yu. L. Ershova (Novosibirsk, 2000), 128

[41] Nepodvizhnye tochki modalnykh operatorov, avtoreferat dissertatsii na soiskanie uchenoi stepeni doktora fiziko-matematicheskikh nauk, Novosibirsk, 2001, 24 pp.

[42] Nepodvizhnye tochki modalnykh operatorov, dissertatsiya na soiskanie uchenoi stepeni doktora fiziko-matematicheskikh nauk, Novosibirsk, 2001, 237 pp.

[43] “Nepodvizhnye tochki v preduporyadochennykh modelyakh Kripke”, Algebra i teoriya modelei 3, Trudy 4-oi mezhdunarodnoi shkoly «Pogranichnye voprosy teorii modelei i universalnoi algebry» (Erlagol, 24–30 iyunya 2001), Izdatelstvo NGTU, Novosibirsk, 2001, 76–-82

[44] “Definability of Least Fixed Points”, Algebra and Logic, 41:4 (2002), 237–253 | DOI | MR | Zbl

[45] “Least Fixed Points in Modal Logic”, Trudy Mezhdunarodnykh Konferentsii po Matematicheskoi Logike (Proceedings of International Conferences on Mathematical logic), Izdatelstvo NGU, Novosibirsk, 2002, 92-–103

[46] “Lfp and Ifp in Modal Logic”, Logic Colloquium 2003, abstracts (Helsinki, 2003), 118

[47] “Konstruktsiya Sambina i negativnye operatory”, Algebra i teoriya modelei 4, Trudy 5-oi mezhdunarodnoi shkoly «Pogranichnye voprosy teorii modelei i universalnoi algebry» (Erlagol, 17–24 iyunya 2003), Izdatelstvo NGTU, Novosibirsk, 2003, 69-–75

[48] “Fixed Points in Tense Models”, Algebra and Logic, 43:5 (2004), 331-–338 | DOI | MR | Zbl

[49] “Schitayuschie modalnye operatory i nepodvizhnye tochki”, Vestnik NGU, seriya «Matematika, mekhanika, informatika», 6:1 (2006), 70–76 | Zbl

[50] Modal Logics with Explicit Definitions, http://www.dimi.uniud.it/formisan/handbook/node19.html

[51] “Definable Fixed Points in Modal and Temporal Logics: A Survey”, Journal of Applied Non-classical Logics, 17:3 (2007), 317–346 | DOI | MR | Zbl

[52] “Nepodvizhnye tochki modalnykh DS-formul”, Algebra and Model Theory 6, coll. of papers, NGTU, Novosibirsk, 2007, 41–44

[53] “Nepodvizhnye tochki formul s dvoinymi modalnostyami”, Vestnik NGU, , seriya «Matematika, mekhanika, informatika», 9:2 (2009), 55–58

[54] “Podmodelnye opredelyayuschie formuly”, Vestnik NGU, , seriya «Matematika, mekhanika, informatika», 11:1 (2011), 82–86 | Zbl

[55] “Vneshnie modalnosti i nepodvizhnye tochki”, Pogranichnye voprosy teorii modelei i universalnoi algebry, Trudy letnei shkoly-konferentsii «Erlagol–2013» (to appear)