Voir la notice de l'article provenant de la source Math-Net.Ru
@article{SEMR_2013_10_a64,
author = {P. E. Alaev and O. V. Bogopolski and A. V. Vasil'ev and S. S. Goncharov and Yu. L. Ershov and V. D. Mazurov and L. L. Maksimova and A. S. Morozov and S. P. Odintsov and D. E. Palchunov and V. G. Puzarenko and V. V. Rybakov and K. L. Rychkov and A. N. Ryaskin and I. A. Taimanov and A. S. Filyurin and D. G. Khramtsov and V. A. Churkin},
title = {Sergei {Ilyich} {Mardaev} (6.04.1962--10.04.2013)},
journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
pages = {{\CYRA}.30--{\CYRA}.34},
publisher = {mathdoc},
volume = {10},
year = {2013},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/SEMR_2013_10_a64/}
}
TY - JOUR AU - P. E. Alaev AU - O. V. Bogopolski AU - A. V. Vasil'ev AU - S. S. Goncharov AU - Yu. L. Ershov AU - V. D. Mazurov AU - L. L. Maksimova AU - A. S. Morozov AU - S. P. Odintsov AU - D. E. Palchunov AU - V. G. Puzarenko AU - V. V. Rybakov AU - K. L. Rychkov AU - A. N. Ryaskin AU - I. A. Taimanov AU - A. S. Filyurin AU - D. G. Khramtsov AU - V. A. Churkin TI - Sergei Ilyich Mardaev (6.04.1962--10.04.2013) JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2013 SP - А.30 EP - А.34 VL - 10 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2013_10_a64/ LA - ru ID - SEMR_2013_10_a64 ER -
%0 Journal Article %A P. E. Alaev %A O. V. Bogopolski %A A. V. Vasil'ev %A S. S. Goncharov %A Yu. L. Ershov %A V. D. Mazurov %A L. L. Maksimova %A A. S. Morozov %A S. P. Odintsov %A D. E. Palchunov %A V. G. Puzarenko %A V. V. Rybakov %A K. L. Rychkov %A A. N. Ryaskin %A I. A. Taimanov %A A. S. Filyurin %A D. G. Khramtsov %A V. A. Churkin %T Sergei Ilyich Mardaev (6.04.1962--10.04.2013) %J Sibirskie èlektronnye matematičeskie izvestiâ %D 2013 %P А.30-А.34 %V 10 %I mathdoc %U http://geodesic.mathdoc.fr/item/SEMR_2013_10_a64/ %G ru %F SEMR_2013_10_a64
P. E. Alaev; O. V. Bogopolski; A. V. Vasil'ev; S. S. Goncharov; Yu. L. Ershov; V. D. Mazurov; L. L. Maksimova; A. S. Morozov; S. P. Odintsov; D. E. Palchunov; V. G. Puzarenko; V. V. Rybakov; K. L. Rychkov; A. N. Ryaskin; I. A. Taimanov; A. S. Filyurin; D. G. Khramtsov; V. A. Churkin. Sergei Ilyich Mardaev (6.04.1962--10.04.2013). Sibirskie èlektronnye matematičeskie izvestiâ, Tome 10 (2013), pp. А.30-А.34. http://geodesic.mathdoc.fr/item/SEMR_2013_10_a64/
[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)