Persons: Rybakov, Mikhail Nikolaevich

Persons

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Rybakov, Mikhail Nikolaevich

Statistics
in MathSciNet:	40 (40)
in zbMATH:	52 (52)
in Web of Science:	28 (28)
in Scopus:	44 (44)

Associate professor

Candidate of physico-mathematical sciences (2005)

Speciality:

01.01.06 (Mathematical logic, algebra, and number theory)

E-mail:

Website:

https://lms.tversu.ru/eportfolios/3636

Keywords:

Logic, modal logics, superintuitionistic logics, non-classical logics, predicate logics, complexity, dcidability, Kripke semantics

Subject:

Logic

https://www.mathnet.ru/eng/person114672

https://scholar.google.com/citations?user=NsaMXlgAAAAJ&hl=en

https://zbmath.org/authors/ai:rybakov.mikhail-nikolaevich

https://mathscinet.ams.org/mathscinet/MRAuthorID/685529

https://elibrary.ru/author_items.asp?spin=1408-9349

ISTINA

https://istina.msu.ru/workers/223772131

https://orcid.org/0000-0002-1491-1310

https://publons.com/researcher/O-5806-2018

https://www.webofscience.com/wos/author/record/O-5806-2018

https://www.scopus.com/authid/detail.url?authorId=55114172200

https://www.researchgate.net/profile/Mikhail_Rybakov3

https://arxiv.org/a/rybakov_m_1

List of publications:

scientific publications

by years

by types

by times cited

common list

		Citations (Crossref Cited-By Service + Math-Net.Ru)


2025
1.	M. Rybakov, D. Shkatov, “Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite frames”, Journal of Logic and Computation, 35:2 (2025), exad078	1 ^[x]
2.	M. Rybakov, D. Shkatov, “Variations on the Kripke trick”, Studia Logica, 113 (2025), 1–48
3.	M. Rybakov, D. Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation, 35:4 (2025), exae077
4.	M. Rybakov, Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate, 2025 , 64 pp., arXiv: 2505.00524
5.	M. Rybakov, Superintuitionistic predicate logics of linear frames: undecidability with two individual variables, 2025 , 20 pp., arXiv: 2505.00531
6.	A. V. Kudinov, M. N. Rybakov, “Slozhnost konstantnykh fragmentov nenormalnykh modalnykh logik”, Chetyrnadtsatye Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (Moskva, MGU, 19–21 iyunya 2025 goda), eds. V. I. Markin, O. M. Grigorev, D. V. Zaitsev, V. I. Shalak, N. E. Tomova, Izdatel A. V. Vorobev, Moskva, 2025, 36–39 http://smirnovreadings.ru/upload/iblock/56f/p90dbt5nki6vrcrzekbowpeurko4bbb2/srl2025.pdf
7.	M. N. Rybakov, M. I. Scherbakov, “Logiki s aksiomoi konvergentnosti: slozhnost pri malom chisle peremennykh v yazyke”, Chetyrnadtsatye Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (Moskva, MGU, 19–21 iyunya 2025 goda), eds. V. I. Markin, O. M. Grigorev, D. V. Zaitsev, V. I. Shalak, N. E. Tomova, Izdatel A. V. Vorobev, Moskva, 2025, 46–49 http://smirnovreadings.ru/upload/iblock/56f/p90dbt5nki6vrcrzekbowpeurko4bbb2/srl2025.pdf
8.	A. Kudinov, M. Rybakov, Complexity of the variable-free fragments of non-normal modal logics (extended version), 2025 , 8 pp., arXiv: 2507.09136
9.	M. Rybakov, M. Shcherbakov, Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version), 2025 , 6 pp., arXiv: 2507.12343
10.	M. N. Rybakov, D. P. Shkatov, “Modalnye predikatnye logiki dedekindovykh poryadkov: nevozmozhnost aksiomatizatsii pri uslovii postoyanstva predmetnykh oblastei.”, V Konferentsiya matematicheskikh tsentrov Rossii. Materialy dokladov (Krasnoyarsk, 11–16 avgusta 2025 goda), eds. V. B. Bekezhanova, I. V. Stepanova, Institut vychislitelnogo modelirovaniya SO RAN, 2025, 240–242 https://kmc.sfu-kras.ru/conf2025/files/sbornik_2025.pdf
11.	M. N. Rybakov, “Slozhnost logik S2 i S3”, Mezhdunarodnaya konferentsiya Maltsevskie chteniya, Tezisy dokladov (Novosibirsk, Institut matematiki im. S. L. Soboleva SO RAN, 10–14 noyabrya 2025 goda), 2025, 100 http://old.math.nsc.ru/conference/malmeet/25/Sbornik/Malcev_Meeting_2025.pdf
12.	M. N. Rybakov, Modelirovanie logicheskikh sistem sredstvami ikh fragmentov, Dissertatsiya na soiskanie uchenoi stepeni doktora fiziko-matematicheskikh nauk, Moskovskii fiziko-tekhnicheskii institut (natsionalnyi issledovatelskii universitet), Moskva, 2025 , 432 pp. https://www.hse.ru/data/xf/835/836/2001/MRybakov-Dissertation-DS-rus.pdf
13.	M. N. Rybakov, Modelirovanie logicheskikh sistem sredstvami ikh fragmentov, Rezyume dissertatsii na soiskanie uchenoi stepeni doktora fiziko-matematicheskikh nauk, Moskovskii fiziko-tekhnicheskii institut (natsionalnyi issledovatelskii universitet), Moskva, 2025 , 21 pp. https://www.hse.ru/data/2025/09/19/2001836835/2MRybakov – Resume-rus.pdf
14.	M. Rybakov, Modelling of logical systems by means of their fragments, Resume of thesis for the purpose of obtaining academic degree Doctor of Phisical and Mathematical Science, Moscow Institute of Physics and Technology (National Research University), Moscow, 2025 , 20 pp. https://www.hse.ru/data/2025/09/19/2001836835/2MRybakov – Resume-eng.pdf
15.	L. D. Beklemishev, A. Yu. Muravitskii, M. N. Rybakov, D. I. Savelev, A. I. Tsitkin, V. B. Shekhtman, D. P. Shkatov, “Pamyati D. P. Skvortsova”, Logicheskie issledovaniya, 31:2 (2025), 8

2024
16.	M. Rybakov, “Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness”, Logic Journal of the IGPL, 32:3 (2024), 465–492	2 ^[x]
17.	M. Rybakov, D. Shkatov, D. Skvortsov, “On the system of positive slices in the structure of superintuitionistic predicate logics”, Advances in Modal Logic (Faculty of Arts of Charles University (Prague), 19–22 August 2024), 15, eds. Agata Ciabattoni, David Gabelaia, and Igor Sedlár, College Publications, 2024, 653–674
18.	M. N. Rybakov, “Nerazreshimost logiki QLC v yazyke s dvumya predmetnymi peremennymi”, IV Konferentsiya matematicheskikh tsentrov Rossii. Sbornik tezisov (Sankt-Peterburg, 6–11 avgusta), 2024, 151–152
19.	M. N. Rybakov, D. A. Serova, “Nerazreshimye fragmenty rasshirenii predikatnoi logiki Gedelya–Dammetta”, Mezhdunarodnaya konferentsiya Maltsevskie chteniya, Tezisy dokladov (Novosibirsk, Institut matematiki im. S. L. Soboleva SO RAN, 11–15 noyabrya 2024 goda.), Novosibirsk, 2024, 45 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf
20.	A. A. Onoprienko, M. N. Rybakov, “Slozhnost logiki HC s odnoi peremennoi”, Mezhdunarodnaya konferentsiya Maltsevskie chteniya, Tezisy dokladov (Novosibirsk, Institut matematiki im. S. L. Soboleva SO RAN, 11–15 noyabrya 2024 goda.), Novosibirsk, 2024, 44 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf
21.	I. Gorbunov, M. Zakharyaschev, O. Zakharyascheva, A. Muravitskii, S. Odintsov, V. Rybakov, M. Rybakov, S. Solovev, M. Spivakovskii, A. Tsitkin, V. Shekhtman, “Pamyati L.A.Chagrovoi”, Logicheskie issledovaniya, 30:2 (2024), 9

2023
22.	M. Rybakov, D. Shkatov, “Complexity function and complexity of validity of modal and superintuitionistic propositional logics”, Journal of Logic and Computation, 33:7 (2023), 1566–1595	2 ^[x]
23.	M. N. Rybakov, “Derevya kak sredstvo modelirovaniya nerazreshimykh problem”, Vestnik TvGU. Seriya: Prikladnaya matematika, 2023, no. 1, 5–23	1 ^[x]
24.	M. N. Rybakov, “Binarnyi predikat, tranzitivnoe zamykanie, dve-tri peremennye: sygraem v domino?”, Logicheskie issledovaniya, 29:1 (2023), 114–146
25.	I. Agadzhanian, M. Rybakov, D. Shkatov, “Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, Moscow, 2023, 16–19 https://scan2023.mi-ras.ru/abstracts.pdf
26.	M. Rybakov, D. Serova, “Tiling problems and complexity of logics”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, Moscow, 2023, 70–72 https://scan2023.mi-ras.ru/abstracts.pdf
27.	M. Rybakov, D. Shkatov, “On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, 2023, 73–76 https://scan2023.mi-ras.ru/abstracts.pdf
28.	M. N. Rybakov, D. P. Shkatov, “Tryuk Kripke i razreshimost monadicheskikh fragmentov modalnykh i superintuitsionistskikh predikatnykh logik”, Trinadtsatye Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (22–24 iyunya 2023g., Moskva), 2023, 40–44
29.	M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) , 7 pp., arXiv: 2306.13736
30.	M. N. Rybakov, “Prostoi primer blokirovki argumenta Kreiga”, Logicheskie issledovaniya, 29:2 (2023), 36–58
31.	M. N. Rybakov, “Rekursivnaya neotdelimost v modalnykh i superintuitsionistskikh predikatnykh logikakh”, Maltsevskie chteniya. Tezisy dokladov (Mezhdunarodnyi matematicheskii tsentr v Akademgorodke, 13–17 noyabrya 2023 goda), SO RAN, Novosibirsk, 2023, 16 http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdf
32.	M. N. Rybakov, “Rekursivnaya neotdelimost dlya klassicheskikh teorii binarnogo predikata i modalnykh logik unarnogo predikata”, Tretya konferentsiya Matematicheskikh tsentrov Rossii (Respublika Adygeya, g.Maikop, AGU, 10–15 oktyabrya 2023 goda), 2023 https://mc-conf.adygnet.ru/upload/math_logic.pdf
33.	M. N. Rybakov, Dokl. RAN. Math. Inf. Proc. Upr., 512 (2023), 102

2022
34.	M. Rybakov, D. Shkatov, “Undecidability of the logic of partial quasiary predicates”, Logic Journal of the IGPL, 30:3 (2022), 519–533	2 ^[x]
35.	M. Rybakov, “Computational complexity of the word problem in modal and Heyting algebras with a small number of generators”, Russian Mathematics, 66:5 (2022), 33-48
36.	M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of products with non-transitive modal logics”, Journal of Logic and Computation, 32:5 (2022), 853–870	7 ^[x]
37.	M. Rybakov, D. Shkatov, “Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter”, Studia Logica, 110 (2022), 597–598
38.	M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of propositional temporal and modal logics of computation”, Theoretical Computer Science, 925, 10 August 2022 (2022), 45–60	4 ^[x]
39.	M. Rybakov, “Computational complexity of theories of a binary predicate with a small number of variables”, Doklady Mathematics, 106:3 (2022), 458–461
40.	I. Agadzhanian, M. Rybakov, Complexity of the variable-free fragment of the weak Grzegorczyk logic, 2022 , 13 pp., arXiv: 2211.14571
41.	M. N. Rybakov, “Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables”, Vtoraya konferentsiya Matematicheskikh tsentrov Rossii. Annotatsii dokladov (Moskva, MGU, MIAN, 7–11 noyabrya 2022 goda), 2022, 73–74 https://www.mathnet.ru/ConfLogos/2047/All_sections_-_Abstracts.pdf

2021
42.	M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of products with K”, Journal of Logic and Computation, 31:2 (2021), 426–443	11 ^[x]
43.	M. Rybakov, D. Shkatov, “Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages”, Journal of Logic and Computation, 31:2 (2021), 494–522	12 ^[x]
44.	M. N. Rybakov, “Geometriya, naglyadnost i sovremennye tekhnologii”, Perspektivy razvitiya matematicheskogo obrazovaniya v epokhu tsifrovoi transformatsii: materialy II Vserossiiskoi nauchno-prakticheskoi konferentsii (Tver, 25–27 marta 2021 goda), eds. Yu. V. Chemarina, A. A. Golubev, Izdatelstvo TvGU, Tver, 2021, 172–176
45.	M. Rybakov, D. Shkatov, “Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages”, Journal of Logic and Computation, 31:5, July 2021 (2021), 1266–1288	8 ^[x]
46.	M. Rybakov, D. Shkatov, “On relationship between complexity function and complexity of validity in propositional modal logic”, Logical Perspectives 2021 (Moscow, June 7 – July 8), 2021 http://lp2021.mi-ras.ru/contributed/workshop-rybakov-shkatov.pdf
47.	M. Rybakov, D. Shkatov, “Algorithmic properties of QK4.3 and QS4.3”, Dvenadtsatye Smirnovskie chteniya. Materialy Mezhdunarodnoi nauchnoi konferentsii. (Moskva, 24–26 iyunya 2021 goda), eds. O. M. Grigorev, D. V. Zaitsev, Yu. V. Ivlev, V. I. Shalak, N. E. Tomova; otv.red. V. I. Markin, Russkoe obschestvo istorii i filosofii nauki, Moskva, 2021, 50–54
48.	M. Rybakov, D. Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, Logicheskie issledovaniya, 27:2 (2021), 93–120	3 ^[x]
49.	M. N. Rybakov, “Computational complexity of the word problem in modal algebras”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2021, no. 3, 5–17
50.	M. N. Rybakov, D. P. Shkatov, “Nerazreshimost logik s unarnym predikatom i dvumya peremennymi”, Matematicheskie osnovy informatiki i informatsionno-kommunikatsionnykh tekhnologii. Sbornik trudov (TvGU, Tver, 3–8 dekabrya 2021 goda), RIU TvGU, 2021, 246–254
51.	K. Aleksandrov, M. Rybakov, D. Shkatov, Computational complexity of one-variable fragments of products with T, 2021 (Published online) , 10 pp., arXiv: 2112.03833

2020
52.	A. P. Koryakov, I. B. Kostyukov, M. N. Rybakov, “Modelirovanie odnovremennogo perenosa zhidkosti i gaza: prakticheskii podkhod”, Programmnye produkty i sistemy, 33:1 (2020), 96–110
53.	M. N. Rybakov, “Element konstruktivnosti v matematicheskikh kursakh”, Perspektivy razvitiya matematicheskogo obrazovaniya v epokhu tsifrovoi transformatsii, Materialy Vserossiiskoi nauchno-prakticheskoi konferentsii (Tver, 27–28 marta 2020 goda), eds. Yu. V. Chemarina, A. A. Golubev, Redaktsionno-izdatelskoe upravlenie Tverskogo gosudarstvennogo universiteta, Tver, 2020, 176–180 http://math.tversu.ru/websites/4/documents/5456/
54.	M. Rybakov, D. Shkatov, “Recursive enumerability and elementary frame definability in predicate modal logic”, Journal of Logic and Computation, 30:2, March 2020 (2020), 549–560	8 ^[x]
55.	M. Rybakov, D. Shkatov, “Computational properties of the logic of partial quasiary predicates”, Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT 20) (September 14–16, 2020, Cape Town, South Africa), ACM, New York, NY, USA, 8 Pages, 2020, 58–65	1 ^[x]
56.	M. Rybakov, D. Shkatov, “Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages”, Published: 26 August 2020, Journal of Logic and Computation, 30:7, October 2020 (2020), 1305–1329	14 ^[x]
57.	M. Rybakov, D. Shkatov, “Algorithmic properties of first-order modal logics of the natural number line in restricted languages”, Advances in Modal Logic, 978-1-84890-341-8 (Helsinki, August 24–28), July 2020, 13, eds. Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu, College Publications, 2020, 523–539

2019
58.	M. Rybakov, D. Shkatov, “Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter”, Studia Logica, 107:4 (2019), 695–717 , arXiv: 1706.05060	26 ^[x]
59.	M. N. Rybakov, D. P. Shkatov, “Suschestvovanie rekursivno perechislimoi polnoi po Kripke normalnoi modalnoi predikatnoi logiki, kotoraya ne polna otnositelno pervoporyadkovo opredelimykh klassov shkal”, Odinnadtsatye Smirnovskie chteniya po logike (Moskva, 19–21 iyunya 2019 goda), Sovremennye tetradi, Moskva, 2019, 43–45
60.	M. N. Rybakov, “Matematicheskoe obrazovanie: rekursivnaya mozaika”, Perspektivy razvitiya matematicheskogo obrazovaniya v Tveri i Tverskoi oblasti. Materialy III Vserossiiskoi nauchno-prakticheskoi konferentsii (Tver, 29–30 marta 2019 goda), Izdatelstvo TvGU, 2019, 174–176
61.	M. Rybakov, Algorithmic properties of modal logics with restricted languages, PhD thesis, University of the Witwatersrand, Johannesburg, 2019 , 88 pp. http://wiredspace.wits.ac.za/handle/10539/27933
62.	M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of propositional modal logics of symmetric frames”, Logic Journal of the IGPL, 27:1 (2019), 60–68	5 ^[x]
63.	M. Rybakov, D. Shkatov, “Trakhtenbrot theorem for classical languages with three individual variables”, Proceedings of the South African Institute of Computer Scientists and Information Technologists 2019 (SAICSIT19) (Skukuza, South Africa, September 17–18, 2019), ACM, New York, NY, USA, 2019	4 ^[x]

2018
64.	M. N. Rybakov, “Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018, no. 3, 81–94
65.	M. N. Rybakov, “Algorithmical properties of quasinormal modal logics with linear finite model property”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018, no. 4, 87–97
66.	M. N. Rybakov, L. A. Chagrova, “Algoritmicheskaya nerazreshimost problemy pervoporyadkovoi opredelimosti formul logiki vetvyaschegosya vremeni”, Programmnye produkty i sistemy, 31:3 (2018), 591–597
67.	M. Rybakov, D. Shkatov, “Complexity and expressivity of propositional dynamic logics with finitely many variables”, Logic Journal of the IGPL, 26:5 (2018), 539–547 , arXiv: 1901.06407	19 ^[x]
68.	M. Rybakov, D. Shkatov, “A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames”, Advances in Modal Logic, 12, eds. Guram Bezhanishvili, Giovanna D’Agostino, George Metcalfe, and Thomas Studer, College Publications, 2018, 531–540
69.	M. Rybakov, D. Shkatov, “Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables”, Lecture Notes in Computer Science, 11187, eds. B. Fischer, T. Uustalu, Springer-Verlag GmbH, 2018, 396–414 , arXiv: 1810.09142	9 ^[x]
70.	M. Rybakov, D. Shkatov, “On complexity of propositional linear-time temporal logic with finitely many variables”, Proceedings of SAICSIT18 (South Africa, Port Elizabeth, 26–28 September 2018), eds. J. van Niekerk, B. Haskins, ACM, 2018, 313–316 , arXiv: 1706.04108	2 ^[x]
71.	M. N. Rybakov, Yu. V. Chemarina, D. P. Shkatov, “Modeli vremeni i matematicheskoe obrazovanie”, Perspektivy razvitiya matematicheskogo obrazovaniya v Tveri i Tverskoi oblasti. Materialy Vtoroi Vserossiiskoi nauchno-prakticheskoi konferentsii (Tver, 21 aprelya 2018 goda), Izdatelstvo TvGU, 2018, 173–178

2017
72.	M. N. Rybakov, “Nerazreshimost modalnykh logik odnomestnogo predikata”, Logicheskie issledovaniya, 23:2 (2017), 60–75	3 ^[x]
73.	M. N. Rybakov, “Obrazovanie i tvorchestvo”, Perspektivy razvitiya matematicheskogo obrazovaniya v Tveri i Tverskoi oblasti. Vypusk I, chast II. Materialy nauchno-prakticheskoi konferentsii (Tver, 18 fevralya 2017 goda), Izdatelstvo TvGU, Tver, 2017, 79–82
74.	M. N. Rybakov, “Nerazreshimost modalnykh predikatnykh logik v yazyke s odnoi odnomestnoi bukvoi”, Desyatye Smirnovskie chteniya po logike (Moskva, 15–17 iyunya 2017 goda), Sovremennye tetradi, Moskva, 2017, 41–43
75.	M. N. Rybakov, E. A. Kotikova, “Algoritmicheskaya vyrazitelnost predikatnoi logiki vetvyaschegosya vremeni v yazyke s odnoi odnomestnoi bukvoi”, Desyatye Smirnovskie chteniya po logike (Moskva, 15–17 iyunya 2017 goda), Sovremennye tetradi, Moskva, 2017, 43–44
76.	M. Rybakov, D. Shkatov, “On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames”, Desyatye Smirnovskie chteniya po logike (Moskva, 15–17 iyunya 2017 goda), Sovremennye tetradi, Moskva, 2017, 45
77.	P. Balbiani, M. Rybakov, “An axiomatization of iteration-free PDL with loop”, XII Tbilisi Symposium of Language, Logic and Computation (Lagodekhi, Georgia, 18–22 September, 2017), 2017, 49–53

2016
78.	E. A. Kotikova, M. N. Rybakov, “Modeling arithmetic in the first-order language enriched with temporal quantifiers”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2016, no. 4, 5–19
79.	A. V. Dukhovneva, M. N. Rybakov, D. P. Shkatov, “Algoritmicheskaya vyrazitelnost nekotorykh fragmentov yazyka logiki vetvyaschegosya vremeni”, Programmnye produkty i sistemy, 29:4 (2016), 135–142
80.	M. N. Rybakov, Sposoby obosnovaniya suschestvovaniya matematicheskikh ob'ektov. Uchebno-metodicheskoe posobie, Tver, Izdatelstvo TvGU, 2016
81.	M. N. Rybakov, Otnosheniya, funktsii i operatsii nad nimi. Uchebno-metodicheskoe posobie, Tver, Izdatelstvo TvGU, 2016

2015
82.	E. A. Kotikova, M. N. Rybakov, “Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics”, Logicheskie issledovaniya, 21:1 (2015), 86–99	1 ^[x]
83.	M. N. Rybakov, “Pogruzhenie klassicheskoi logiki predikatov v logiku kvaziarnykh predikatov”, Devyatye Smirnovskie chteniya po logike (Moskva, 17–19 iyunya 2015 goda), eds. V. I. Markin, Sovremennye tetradi, Moskva, 2015, 33–34
84.	M. Rybakov, D. Shkatov, “Computational complexity of logics of nonterminating programs with restrictions on the number of propositional variables”, Devyatye Smirnovskie chteniya po logike (Moskva, 17–19 iyunya 2015 goda), eds. V. I. Markin, Sovremennye tetradi, Moskva, 2015, 34

2014
85.	E. A. Kotikova, M. N. Rybakov, “Primer ispolzovaniya logiki kak shag v protsesse ee postizheniya”, Problemi vikladannya logiki ta perspektivi її rozvitku. VІ Mizhnarodna naukovo-praktichna konferentsiya (Kiїvskii natsionalnii universitet imeni Tarasa Shevchenka, 15–16 travnya 2014 roku), VPTs «Kiїvskii universitet», Kiїv, 2014, 102–104
86.	M. N. Rybakov, “Nerazreshimost logiki kvaziarnykh predikatov”, Vestnik TvGU. Seriya: Prikladnaya matematika, 2014, no. 4, 17–32

2013
87.	E. A. Kotikova, M. N. Rybakov, “First-Order Logics of Branching Time: On Expressive Power of Temporal Operators”, Logicheskie issledovaniya, 19 (2013), 68–99	2 ^[x]

2012
88.	E. A. Kotikova, M. N. Rybakov, “Predikatnaya logika vetvyaschegosya vremeni QCTL: algoritmicheskie, semanticheskie i deduktivnye aspekty”, Otkrytyi Rossiisko-Finskii kollokvium po logike (Sankt-Peterburg, 14–16 iyunya 2012 goda), 2012

2010
89.	E. A. Kotikova, M. N. Rybakov, “Slozhnost problemy istinnosti konstantnykh modalnykh formul v modeli”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy XI Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg, 23–26 iyunya 2010 goda), Izdatelstvo SPbGU, Sankt-Peterburg, 2010, 281–283

2009
90.	M. N. Rybakov, “Slozhnost fragmentov logiki IPDL”, Shestye Smirnovskie chteniya po logike, Sovremennye tetradi, 2009, 34–35

2008
91.	M. N. Rybakov, “Svoistva logik znaniya pri odnovremennom ispolzovanii operatora raspredelennogo znaniya i operatora vseobschego znaniya”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy X Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg, 26–28 iyunya 2008 goda), Izdatelstvo SPbGU, 2008, 443–444
92.	M. N. Rybakov, “Complexity of intuitionistic propositional logic and its fragments”, Journal of Applied Non-Classical Logics, 18:2–3 (2008), 267–292	16 ^[x]

2007
93.	M. N. Rybakov, “The complexity of the constant fragment of propositional dynamic logic”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2007, no. 5, 5–17
94.	M. N. Rybakov, “Neklassicheskie logiki: ikh slozhnost i slozhnost ikh prilozhenii”, Filosofiya matematiki: aktualnye problemy. Materialy Mezhdunarodnoi nauchnoi konferentsii (Moskva, 15–16 iyunya 2007 goda), Izdatelstvo filosofskogo fakulteta MGU, Moskva, 2007, 123–125
95.	M. N. Rybakov, “K voprosu o polnote po Kripke predikatnykh logik”, Smirnovskie chteniya. Materialy 5-oi konferentsii (Moskva, 20–22 iyunya 2007 goda), eds. A. S. Karpenko, Izdatelstvo IF RAN, Moskva, 2007, 37–38
96.	M. N. Rybakov, “Complexity of finite-variable fragments of EXPTIME-complete logics”, Journal of Applied Non-Classical Logics, 17:3 (2007), 359–382	11 ^[x]
97.	I. A. Gorbunov, M. N. Rybakov, “Kontinualnye semeistva logik”, Logicheskie issledovaniya, 14 (2007), 131–151

2006
98.	M. N. Rybakov, “Formalnaya predikatnaya logika A.Vissera: vyrazitelnost fragmentov yazyka ot odnoi odnomestnoi bukvy”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy IX Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg, 22–24 iyunya 2006 goda), 2006, 386–388
99.	M. N. Rybakov, “Complexity of intuitionistic and Visser’s basic and formal logics in finitely many variables”, Advances in Modal Logic, 6, College Publications, London, 2006, 393–411

2005
100.	M. N. Rybakov, Slozhnost propozitsionalnykh logik s konechnym chislom peremennykh, Dissertatsiya na soiskanie uchenoi stepeni kandidata fiziko-matematicheskikh nauk, Tverskoi gosudarstvennyi universitet, Tver, 2005 , 95 pp.
101.	M. N. Rybakov, “Complexity of the Two-Variable Fragment of Intuitionistic Propositional Logic”, Computer Science Applications of Modal Logic. International Conference (Moscow, September 5–9 2005), Poncelet Laboratory of UMI 2615 and Independent University of Moscow, Moscow, 2005, 35–36
102.	M. N. Rybakov, Slozhnost propozitsionalnykh logik s konechnym chislom peremennykh, Avtoreferat dissertatsii na soiskanie uchenoi stepeni kandidata fiziko-matematicheskikh nauk. Yaroslavskii gosudarstvennyi universitet im. P.G. Demidova. Yaroslavl, 2005

2004
103.	A. S. Guseva, M. N. Rybakov, “Intuitsionistskie formuly ot dvukh peremennykh i PSPACE-polnota”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy VIII Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg), Izdatelstvo SPbGU, Sankt-Peterburg, 2004, 480–482
104.	M. N. Rybakov, “Pogruzhenie intuitsionistskoi logiki v ee fragment ot dvukh peremennykh i slozhnost etogo fragmenta”, Logicheskie issledovaniya, 11 (2004), 247–261

2003
105.	M. N. Rybakov, “O slozhnosti problemy razresheniya dlya bazisnoi i formalnoi logik s konechnym chislom peremennykh v yazyke”, Smirnovskie chteniya. IV Mezhdunarodnaya konferentsiya (Moskva), Izdatelstvo Instituta filosofii RAN, Moskva, 2003, 49–50
106.	M. N. Rybakov, “Slozhnost problemy razresheniya bazisnoi i formalnoi logik”, Logicheskie issledovaniya, 10 (2003), 158–166
107.	M. N. Rybakov, A. V. Chagrov, “O slozhnosti modalnykh logik, imeyuschikh dokazuemostnuyu interpretatsiyu, s ogranicheniyami na chislo peremennykh”, Kolmogorov i sovremennaya matematika (Moskva), eds. Osipov Yu. S., Sadovnichii V. A., Izdatelstvo MGU, Moskva, 2003, 707–708
108.	A. V. Chagrov, M. N. Rybakov, “How Many Variables One Needs to Prove PSPACE-Hardness of Modal Logics?”, Advances in Modal Logic, 4, King’s College Publications, London, 2003, 71–82

2002
109.	M. N. Rybakov, A. V. Chagrov, “Konstantnye formuly v modalnykh logikakh: problema razresheniya”, Logicheskie issledovaniya, 9 (2002), 202–220
110.	M. N. Rybakov, “Ob algoritmicheskoi vyrazitelnosti modalnogo yazyka s odnoi lish odnomestnoi predikatnoi bukvoi”, Logicheskie issledovaniya, 9 (2002), 179–201
111.	A. V. Chagrov, M. N. Rybakov, “Least Number of Variables for PSPACE-Hardness of Provability Problem in Systems of Modal Logic”, Advances in Modal Logic (30 Septembre – 2 Octobre 2002. Institut de Reacherche en Informatique de Toulouse, Universite Paul Sabatier, Toulouse, France), Toulouse, 2002, 178–188
112.	M. N. Rybakov, A. V. Chagrov, “Modalnye formuly bez peremennykh i PSPACE-polnota”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy VII Mezhdunarodnoi nauchnoi konferentsii (Sankt-Peterburg), Izdatelstvo Sankt-Peterburgskogo universiteta, Sankt-Peterburg, 2002, 498–500
113.	M. N. Rybakov, “Rekursivnaya svodimost predikatnykh variantov standartnykh modalnykh logik k klassicheskoi logike predikatov”, Rossiiskoi matematike — trista let. Materialy yubileinoi nauchnoi konferentsii (Tver, 24–25 oktyabrya 2001 goda), Izdatelstvo Tverskogo gosudarstvennogo universiteta, Tver, 2002, 108–114

2001
114.	I. A. Gorbunov, M. N. Rybakov, “Vyrazitelnost operatorov znaniya i vozmozhnost effektivnogo opisaniya logik znaniya”, Problemy upravleniya i modelirovaniya v slozhnykh sistemakh. Trudy III Mezhdunarodnoi konferentsii (Samara), Samarskii nauchnyi tsentr RAN, Samara, 2001, 617–622
115.	M. N. Rybakov, “Perechislimost modalnykh predikatnykh logik i usloviya obryva vozrastayuschikh tsepei”, Logicheskie issledovaniya, 8 (2001), 155–167
116.	M. N. Rybakov, “Operatory vseobschego i raspredelennogo znaniya: dopolnitelnye vyrazitelnye sredstva v logikakh znaniya”, Informatsionnye protsessy, 1:1 (2001), 89–98
117.	M. N. Rybakov, “O stepeni nerazreshimosti predikatnykh logik znaniya”, Trudy nauchno-issledovatelskogo seminara Logicheskogo tsentra Instituta filosofii RAN, XV, Izdatelstvo Instituta filosofii RAN, Moskva, 2001, 79–91

2000
118.	M. N. Rybakov, “Razreshimost nekotorykh modalnykh predikatnykh logik otnositelno klassicheskoi logiki predikatov”, Uchenye zapiski Tverskogo gosudarstvennogo universiteta, 6, Izdatelstvo Tverskogo gosudarstvennogo universiteta, Tver, 2000, 8–12
119.	M. N. Rybakov, “Razreshimost intuitsionistskoi logiki predikatov otnositelno klassicheskoi logiki predikatov”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy VI Mezhdunarodnoi nauchnoi konferentsii (Sankt-Peterburg), Izdatelstvo Sankt-Peterburgskogo gosudarstvennogo universiteta, Sankt-Peterburg, 2000, 247–250
120.	M. N. Rybakov, A. V. Chagrov, “Standartnye perevody neklassicheskikh formul i otnositelnaya razreshimost logik”, Trudy nauchno-issledovatelskogo seminara Logicheskogo tsentra Instituta filosofii RAN, XIV, Izdatelstvo Instituta filosofii RAN, Moskva, 2000, 81–98

1999
121.	M. N. Rybakov, “Konservativnost v normalnykh modalnykh predikatnykh logikakh”, Tezisy XXXVII Mezhdunarodnoi nauchnoi studencheskoi konferentsii (Novosibirsk, 12–16 aprelya 1999 goda), Izdatelstvo NGU, Novosibirsk, 1999

Presentations in Math-Net.Ru

1.	Модальные предикатные логики дедекиндовых порядков M. N. Rybakov Logical Seminar of the Manin Laboratory September 10, 2025 14:00
2.	NP-полнота задачи разбиения множества D. A. Serova, M. N. Rybakov Dobrushin Mathematics Laboratory Seminar April 29, 2025 16:15
3.	Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных M. N. Rybakov Logical Seminar of the Manin Laboratory February 19, 2025 14:30
4.	Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames Irina Agadzhanian, Mikhail Rybakov, Dmitry Shkatov Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023) June 16, 2023 15:30
5.	On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics Mikhail Rybakov, Dmitry Shkatov Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023) June 16, 2023 12:30
6.	Tiling problems and complexity of logics Mikhail Rybakov, Darya Serova Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023) June 14, 2023 15:00
7.	Computational complexity of non-classical logics of an unary predicate M. N. Rybakov Seminars "Proof Theory" and "Logic Online Seminar" March 6, 2023 18:30
8.	Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables M. N. Rybakov Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science» November 9, 2022 15:30
9.	On relationship between complexity function and complexity of validity in propositional modal logic D. Shkatov, M. N. Rybakov Logical Perspectives 2021: Summer School and Workshop June 19, 2021 11:00
10.	Алгоритмическая выразительность неклассических предикатных логик, задаваемых классами шкал Крипке, не определимыми в логике первого порядка M. N. Rybakov December 5, 2018

Organisations

Higher School of Modern Mathematics MIPT
Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow
University of the Witwatersrand, Johannesburg
National Research University Higher School of Economics, Moscow
R&D Institute Centerprogramsystem
Tver State University, Department of Mathematics