Персоналии: Рыбаков Михаил Николаевич

Персоналии

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

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

Рыбаков Михаил Николаевич

Публикаций:	108 (104)
в MathSciNet:	38 (38)
в zbMATH:	43 (43)
в Web of Science:	27 (27)
в Scopus:	37 (37)
Цитированных статей:	30
Цитирований:	174
Лекций и докладов:	7

Статистика просмотров:
Эта страница:	5884
Страницы публикаций:	1451
Полные тексты:	766
Списки литературы:	234

доцент

кандидат физико-математических наук (2005)

Специальность ВАК:

01.01.06 (математическая логика, алгебра и теория чисел)

E-mail:

Сайт:

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

Ключевые слова:

Логика, модальные логики, суперинтуиционистские логики, неклассические логики, предикатные логики, сложность, разрешимость, семантика Крипке

Основные темы научной работы

Математическая логика

Научная биография:

• 1993–1999гг.: студент математического факультета ТвГУ.

• 1999–2002гг.: аспирант в ТвГУ. Научный руководитель – д.ф.-м.н., профессор Александр Васильевич Чагров.

• C 2001г.: ТвГУ, г.Тверь.

• С 2003г.: НИИ «Центрпрограммсистем», г.Тверь.

• 2005г.: степень к.ф.-м.н. по специальности «01.01.06 – Математическая логика, алгебра и теория чисел».

• 2015–2016гг.: University of the Witwatersrand, Johannesburg.

• 2017г.: звание доцента по специальности «Математическая логика, алгебра и теория чисел».

• 2018–2019гг.: University of the Witwatersrand, Johannesburg.

• 2019г.: степень PhD in Computer Science.

• 2019–2024гг.: ИППИ имени А.А. Харкевича РАН, г.Москва.

• С 2019г.: НИУ ВШЭ, г.Москва.

• С 2024г.: ВШМ МФТИ, г.Москва.

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

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

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

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

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

ИСТИНА

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

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

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

https://publons.com/researcher/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

Список публикаций:

по типам

		Цитирования (Crossref Cited-By Service + Math-Net.Ru)

Статьи

1.	M. Rybakov, D. Shkatov, “Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite frames”, Journal of Logic and Computation (to appear)	1 ^[x]
2.	M. Rybakov, D. Shkatov, “Variations on the Kripke trick”, Studia Logica (to appear)
3.	M. Rybakov, D. Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation (to appear)
4.	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]
5.	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]
6.	М. Н. Рыбаков, “Деревья как средство моделирования неразрешимых проблем”, Вестник ТвГУ. Серия: Прикладная математика, 2023, № 1, 5–23	1 ^[x]
7.	М. Н. Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, Логические исследования, 29:1 (2023), 114–146
8.	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
9.	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
10.	М. Н. Рыбаков, Д. П. Шкатов, “Трюк Крипке и разрешимость монадических фрагментов модальных и суперинтуиционистских предикатных логик”, Тринадцатые Смирновские чтения по логике, Материалы международной научной конференции (22–24 июня 2023г., Москва), 2023, 40–44
11.	М. Н. Рыбаков, “Простой пример блокировки аргумента Крейга”, Логические исследования, 29:2 (2023), 36–58
12.	M. Rybakov, D. Shkatov, “Undecidability of the logic of partial quasiary predicates”, Logic Journal of the IGPL, 30:3 (2022), 519–533	2 ^[x]
13.	М. Н. Рыбаков, “Сложность проблемы равенства слов в модальных и псевдобулевых алгебрах с малым числом порождающих”, Известия вузов. Математика, 2022, № 5, 42–60 ; M. Rybakov, “Computational complexity of the word problem in modal and pseudo-Boolean algebras with a small number of generators”, Russian Mathematics, 66:5 (2022), 33-48
14.	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	6 ^[x]
15.	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
16.	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	3 ^[x]
17.	М. Н. Рыбаков, “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных”, Доклады Российской академии наук. Математика, информатика, процессы управления, 507:6 (2022), 61–65 ; M. Rybakov, “Computational complexity of theories of a binary predicate with a small number of variables”, Doklady Mathematics, 106:3 (2022), 458–461	2 ^[x]
18.	M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of products with K”, Journal of Logic and Computation, 31:2 (2021), 426–443	10 ^[x]
19.	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	11 ^[x]
20.	М. Н. Рыбаков, “Геометрия, наглядность и современные технологии”, Перспективы развития математического образования в эпоху цифровой трансформации: материалы II Всероссийской научно-практической конференции (Тверь, 25–27 марта 2021 года), ред. Ю. В. Чемарина, А. А. Голубев, Издательство ТвГУ, Тверь, 2021, 172–176
21.	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]
22.	M. Rybakov, D. Shkatov, “Algorithmic properties of QK4.3 and QS4.3”, Двенадцатые Смирновские чтения. Материалы Международной научной конференции. (Москва, 24–26 июня 2021 года), ред. О. М. Григорьев, Д. В. Зайцев, Ю. В. Ивлев, В. И. Шалак, Н. Е. Томова; отв.ред. В. И. Маркин, Русское общество истории и философии науки, Москва, 2021, 50–54
23.	M. Rybakov, D. Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, Логические исследования, 27:2 (2021), 93–120	3 ^[x]
24.	М. Н. Рыбаков, “Сложность проблемы равенства слов в многообразиях модальных алгебр”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 3, 5–17	1 ^[x]
25.	М. Н. Рыбаков, Д. П. Шкатов, “Неразрешимость логик с унарным предикатом и двумя переменными”, Математические основы информатики и информационно-коммуникационных технологий. Сборник трудов (ТвГУ, Тверь, 3–8 декабря 2021 года), РИУ ТвГУ, 2021, 246–254
26.	А. П. Коряков, И. Б. Костюков, М. Н. Рыбаков, “Моделирование одновременного переноса жидкости и газа: практический подход”, Программные продукты и системы, 33:1 (2020), 96–110
27.	М. Н. Рыбаков, “Элемент конструктивности в математических курсах”, Перспективы развития математического образования в эпоху цифровой трансформации, Материалы Всероссийской научно-практической конференции (Тверь, 27–28 марта 2020 года), ред. Ю. В. Чемарина, А. А. Голубев, Редакционно-издательское управление Тверского государственного университета, Тверь, 2020, 176–180 http://math.tversu.ru/websites/4/documents/5456/
28.	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]
29.	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]
30.	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]
31.	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
32.	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	25 ^[x]
33.	М. Н. Рыбаков, “Математическое образование: рекурсивная мозаика”, Перспективы развития математического образования в Твери и Тверской области. Материалы III Всероссийской научно-практической конференции (Тверь, 29–30 марта 2019 года), Издательство ТвГУ, 2019, 174–176
34.	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]
35.	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]
36.	М. Н. Рыбаков, “Аксиоматизируемость ненормальных и квазинормальных модальных предикатных логик первопорядково определимых классов шкал Крипке”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 3, 81–94
37.	М. Н. Рыбаков, “Алгоритмические свойства линейно аппроксимируемых квазинормальных модальных логик”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 4, 87–97	1 ^[x]
38.	М. Н. Рыбаков, Л. А. Чагрова, “Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени”, Программные продукты и системы, 31:3 (2018), 591–597
39.	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	18 ^[x]
40.	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
41.	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]
42.	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]
43.	М. Н. Рыбаков, Ю. В. Чемарина, Д. П. Шкатов, “Модели времени и математическое образование”, Перспективы развития математического образования в Твери и Тверской области. Материалы Второй Всероссийской научно-практической конференции (Тверь, 21 апреля 2018 года), Издательство ТвГУ, 2018, 173–178
44.	М. Н. Рыбаков, “Неразрешимость модальных логик одноместного предиката”, Логические исследования, 23:2 (2017), 60–75	3 ^[x]
45.	М. Н. Рыбаков, “Образование и творчество”, Перспективы развития математического образования в Твери и Тверской области. Выпуск I, часть II. Материалы научно-практической конференции (Тверь, 18 февраля 2017 года), Издательство ТвГУ, Тверь, 2017, 79–82
46.	М. Н. Рыбаков, “Неразрешимость модальных предикатных логик в языке с одной одноместной буквой”, Десятые Смирновские чтения по логике (Москва, 15–17 июня 2017 года), Современные тетради, Москва, 2017, 41–43
47.	М. Н. Рыбаков, Е. А. Котикова, “Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой”, Десятые Смирновские чтения по логике (Москва, 15–17 июня 2017 года), Современные тетради, Москва, 2017, 43–44
48.	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”, Десятые Смирновские чтения по логике (Москва, 15–17 июня 2017 года), Современные тетради, Москва, 2017, 45
49.	Е. А. Котикова, М. Н. Рыбаков, “Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами”, Вестник ТвГУ. Серия: Прикладная математика, 2016, № 4, 5–19	1 ^[x]
50.	А. В. Духовнева, М. Н. Рыбаков, Д. П. Шкатов, “Алгоритмическая выразительность некоторых фрагментов языка логики ветвящегося времени”, Программные продукты и системы, 29:4 (2016), 135–142
51.	E. A. Kotikova, M. N. Rybakov, “Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics”, Логические исследования, 21:1 (2015), 86–99	1 ^[x]
52.	М. Н. Рыбаков, “Погружение классической логики предикатов в логику квазиарных предикатов”, Девятые Смирновские чтения по логике (Москва, 17–19 июня 2015 года), ред. В. И. Маркин, Современные тетради, Москва, 2015, 33–34
53.	M. Rybakov, D. Shkatov, “Computational complexity of logics of nonterminating programs with restrictions on the number of propositional variables”, Девятые Смирновские чтения по логике (Москва, 17–19 июня 2015 года), ред. В. И. Маркин, Современные тетради, Москва, 2015, 34
54.	М. Н. Рыбаков, “Неразрешимость логики квазиарных предикатов”, Вестник ТвГУ. Серия: Прикладная математика, 2014, № 4, 17–32
55.	E. A. Kotikova, M. N. Rybakov, “First-Order Logics of Branching Time: On Expressive Power of Temporal Operators”, Логические исследования, 19 (2013), 68–99	2 ^[x]
56.	Е. А. Котикова, М. Н. Рыбаков, “Сложность проблемы истинности константных модальных формул в модели”, Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции (Санкт-Петербург, 23–26 июня 2010 года), Издательство СПбГУ, Санкт-Петербург, 2010, 281–283
57.	М. Н. Рыбаков, “Сложность фрагментов логики IPDL”, Шестые Смирновские чтения по логике, Современные тетради, 2009, 34–35
58.	М. Н. Рыбаков, “Свойства логик знания при одновременном использовании оператора распределённого знания и оператора всеобщего знания”, Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции (Санкт-Петербург, 26–28 июня 2008 года), Издательство СПбГУ, 2008, 443–444
59.	M. N. Rybakov, “Complexity of intuitionistic propositional logic and its fragments”, Journal of Applied Non-Classical Logics, 18:2–3 (2008), 267–292	15 ^[x]
60.	М. Н. Рыбаков, “Сложность константного фрагмента пропозициональной динамической логики”, Вестник ТвГУ. Серия: Прикладная математика, 2007, № 5, 5–17	2 ^[x]
61.	М. Н. Рыбаков, “Неклассические логики: их сложность и сложность их приложений”, Философия математики: актуальные проблемы. Материалы Международной научной конференции (Москва, 15–16 июня 2007 года), Издательство философского факультета МГУ, Москва, 2007, 123–125
62.	М. Н. Рыбаков, “К вопросу о полноте по Крипке предикатных логик”, Смирновские чтения. Материалы 5-ой конференции (Москва, 20–22 июня 2007 года), ред. А. С. Карпенко, Издательство ИФ РАН, Москва, 2007, 37–38
63.	M. N. Rybakov, “Complexity of finite-variable fragments of EXPTIME-complete logics”, Journal of Applied Non-Classical Logics, 17:3 (2007), 359–382	10 ^[x]
64.	И. А. Горбунов, М. Н. Рыбаков, “Континуальные семейства логик”, Логические исследования, 14 (2007), 131–151
65.	М. Н. Рыбаков, “Формальная предикатная логика А.Виссера: выразительность фрагментов языка от одной одноместной буквы”, Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции (Санкт-Петербург, 22–24 июня 2006 года), 2006, 386–388
66.	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
67.	М. Н. Рыбаков, “Погружение интуиционистской логики в её фрагмент от двух переменных и сложность этого фрагмента”, Логические исследования, 11 (2004), 247–261
68.	М. Н. Рыбаков, “Сложность проблемы разрешения базисной и формальной логик”, Логические исследования, 10 (2003), 158–166
69.	М. Н. Рыбаков, А. В. Чагров, “О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных”, Колмогоров и современная математика (Москва), ред. Осипов Ю. С., Садовничий В. А., Издательство МГУ, Москва, 2003, 707–708
70.	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
71.	М. Н. Рыбаков, А. В. Чагров, “Константные формулы в модальных логиках: проблема разрешения”, Логические исследования, 9 (2002), 202–220
72.	М. Н. Рыбаков, “Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой”, Логические исследования, 9 (2002), 179–201
73.	М. Н. Рыбаков, “Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей”, Логические исследования, 8 (2001), 155–167
74.	М. Н. Рыбаков, “Операторы всеобщего и распределённого знания: дополнительные выразительные средства в логиках знания”, Информационные процессы, 1:1 (2001), 89–98
75.	М. Н. Рыбаков, “О степени неразрешимости предикатных логик знания”, Труды научно-исследовательского семинара Логического центра Института философии РАН, XV, Издательство Института философии РАН, Москва, 2001, 79–91
76.	М. Н. Рыбаков, “Разрешимость некоторых модальных предикатных логик относительно классической логики предикатов”, Учёные записки Тверского государственного университета, 6, Издательство Тверского государственного университета, Тверь, 2000, 8–12
77.	М. Н. Рыбаков, “Разрешимость интуиционистской логики предикатов относительно классической логики предикатов”, Современная логика: проблемы теории, истории и применения в науке. Материалы VI Международной научной конференции (Санкт-Петербург), Издательство Санкт-Петербургского государственного университета, Санкт-Петербург, 2000, 247–250
78.	М. Н. Рыбаков, А. В. Чагров, “Стандартные переводы неклассических формул и относительная разрешимость логик”, Труды научно-исследовательского семинара Логического центра Института философии РАН, XIV, Издательство Института философии РАН, Москва, 2000, 81–98
79.	М. Н. Рыбаков, “Консервативность в нормальных модальных предикатных логиках”, Тезисы XXXVII Международной научной студенческой конференции (Новосибирск, 12–16 апреля 1999 года), Издательство НГУ, Новосибирск, 1999
Дипломные работы, диссертации

80.	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
81.	М. Н. Рыбаков, Сложность пропозициональных логик с конечным числом переменных, Диссертация на соискание учёной степени кандидата физико-математических наук, Тверской государственный университет, Тверь, 2005 , 95 с.
Тезисы докладов

82.	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
83.	М. Н. Рыбаков, “Неразрешимость логики QLC в языке с двумя предметными переменными”, IV Конференция математических центров России. Сборник тезисов (Санкт-Петербург, 6–11 августа), 2024, 151–152
84.	М. Н. Рыбаков, Д. А. Серова, “Неразрешимые фрагменты расширений предикатной логики Гёделя–Дамметта”, Международная конференция Мальцевские чтения, Тезисы докладов (Новосибирск, Институт математики им. С. Л. Соболева СО РАН, 11–15 ноября 2024 года.), Новосибирск, 2024, 45 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf
85.	А. А. Оноприенко, М. Н. Рыбаков, “Сложность логики HC с одной переменной”, Международная конференция Мальцевские чтения, Тезисы докладов (Новосибирск, Институт математики им. С. Л. Соболева СО РАН, 11–15 ноября 2024 года.), Новосибирск, 2024, 44 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf
86.	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
87.	М. Н. Рыбаков, “Рекурсивная неотделимость в модальных и суперинтуиционистских предикатных логиках”, Мальцевские чтения. Тезисы докладов (Международный математический центр в Академгородке, 13–17 ноября 2023 года), СО РАН, Новосибирск, 2023, 16 http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdf
88.	М. Н. Рыбаков, “Рекурсивная неотделимость для классических теорий бинарного предиката и модальных логик унарного предиката”, Третья конференция Математических центров России (Республика Адыгея, г.Майкоп, АГУ, 10–15 октября 2023 года), 2023 https://mc-conf.adygnet.ru/upload/math_logic.pdf
89.	М. Н. Рыбаков, “Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables”, Вторая конференция Математических центров России. Аннотации докладов (Москва, МГУ, МИАН, 7–11 ноября 2022 года), 2022, 73–74 https://www.mathnet.ru/ConfLogos/2047/All_sections_-_Abstracts.pdf
90.	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
91.	М. Н. Рыбаков, Д. П. Шкатов, “Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал”, Одиннадцатые Смирновские чтения по логике (Москва, 19–21 июня 2019 года), Современные тетради, Москва, 2019, 43–45
92.	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
93.	Е. А. Котикова, М. Н. Рыбаков, “Пример использования логики как шаг в процессе её постижения”, Проблеми викладання логiки та перспективи її розвитку. VІ Мiжнародна науково-практична конференцiя (Київський нацiональний унiверситет iменi Тараса Шевченка, 15–16 травня 2014 року), ВПЦ «Київський унiверситет», Київ, 2014, 102–104
94.	Е. А. Котикова, М. Н. Рыбаков, “Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты”, Открытый Российско-Финский коллоквиум по логике (Санкт-Петербург, 14–16 июня 2012 года), 2012
95.	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
96.	А. С. Гусева, М. Н. Рыбаков, “Интуиционистские формулы от двух переменных и PSPACE-полнота”, Современная логика: проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции (Санкт-Петербург), Издательство СПбГУ, Санкт-Петербург, 2004, 480–482
97.	М. Н. Рыбаков, “О сложности проблемы разрешения для базисной и формальной логик с конечным числом переменных в языке”, Смирновские чтения. IV Международная конференция (Москва), Издательство Института философии РАН, Москва, 2003, 49–50
98.	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
99.	М. Н. Рыбаков, А. В. Чагров, “Модальные формулы без переменных и PSPACE-полнота”, Современная логика: проблемы теории, истории и применения в науке. Материалы VII Международной научной конференции (Санкт-Петербург), Издательство Санкт-Петербургского университета, Санкт-Петербург, 2002, 498–500
100.	М. Н. Рыбаков, “Рекурсивная сводимость предикатных вариантов стандартных модальных логик к классической логике предикатов”, Российской математике — триста лет. Материалы юбилейной научной конференции (Тверь, 24–25 октября 2001 года), Издательство Тверского государственного университета, Тверь, 2002, 108–114
101.	И. А. Горбунов, М. Н. Рыбаков, “Выразительность операторов знания и возможность эффективного описания логик знания”, Проблемы управления и моделирования в сложных системах. Труды III Международной конференции (Самара), Самарский научный центр РАН, Самара, 2001, 617–622
ArXiv

102.	M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) , 7 pp., arXiv: 2306.13736
103.	I. Agadzhanian, M. Rybakov, Complexity of the variable-free fragment of the weak Grzegorczyk logic, 2022 , 13 pp., arXiv: 2211.14571
104.	K. Aleksandrov, M. Rybakov, D. Shkatov, Computational complexity of one-variable fragments of products with T, 2021 (Published online) , 10 pp., arXiv: 2112.03833
Прочие публикации

105.	М. Н. Рыбаков, Способы обоснования существования математических объектов. Учебно-методическое пособие, Тверь, Издательство ТвГУ, 2016
106.	М. Н. Рыбаков, Отношения, функции и операции над ними. Учебно-методическое пособие, Тверь, Издательство ТвГУ, 2016
107.	М. Н. Рыбаков, Сложность пропозициональных логик с конечным числом переменных, Автореферат диссертации на соискание учёной степени кандидата физико-математических наук. Ярославский государственный университет им. П.Г. Демидова. Ярославль, 2005
Письма в редакцию, исправления

108.	М. Н. Рыбаков, “Поправка к статье “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных” (2022, том 507, с. 61–65)”, Докл. РАН. Матем., информ., проц. упр., 512 (2023), 102	1 ^[x]

Доклады и лекции в базе данных Math-Net.Ru

1.	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) 16 июня 2023 г. 15:30
2.	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) 16 июня 2023 г. 12:30
3.	Tiling problems and complexity of logics Mikhail Rybakov, Darya Serova Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023) 14 июня 2023 г. 15:00
4.	Алгоритмическая сложность неклассических логик унарного предиката М. Н. Рыбаков Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 6 марта 2023 г. 18:30
5.	Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables М. Н. Рыбаков Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика» 9 ноября 2022 г. 15:30
6.	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 19 июня 2021 г. 11:00
7.	Алгоритмическая выразительность неклассических предикатных логик, задаваемых классами шкал Крипке, не определимыми в логике первого порядка М. Н. Рыбаков Научно-исследовательский семинар по математической логике 5 декабря 2018 г.