Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Рыбаков Михаил Николаевич

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

Статистика просмотров:
Эта страница:5748
Страницы публикаций:1348
Полные тексты:730
Списки литературы:183
Рыбаков Михаил Николаевич
доцент
кандидат физико-математических наук (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/?q=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)  crossref  isi 1
2. M. Rybakov, D. Shkatov, “Variations on the Kripke trick”, Studia Logica (to appear)  crossref  isi  scopus
3. M. Rybakov, D. Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation (to appear)

   2024
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  crossref  mathscinet  isi  scopus 2
5. 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 Sedlár, College Publications, 2024, 653–674
6. М. Н. Рыбаков, “Неразрешимость логики QLC в языке с двумя предметными переменными”, IV Конференция математических центров России. Сборник тезисов (Санкт-Петербург, 6–11 августа), 2024, 151–152

   2023
7. 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  crossref  mathscinet  zmath  isi  scopus 2
8. М. Н. Рыбаков, “Деревья как средство моделирования неразрешимых проблем”, Вестник ТвГУ. Серия: Прикладная математика, 2023, № 1, 5–23  mathnet  crossref  elib 1
9. М. Н. Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, Логические исследования, 29:1 (2023), 114–146  crossref  mathscinet  zmath  elib  scopus
10. 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  crossref  zmath  adsnasa  isi  scopus
11. 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
12. 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  crossref  zmath  adsnasa  isi  scopus
13. М. Н. Рыбаков, Д. П. Шкатов, “Трюк Крипке и разрешимость монадических фрагментов модальных и суперинтуиционистских предикатных логик”, Тринадцатые Смирновские чтения по логике, Материалы международной научной конференции (22–24 июня 2023г., Москва), 2023, 40–44  crossref  zmath  adsnasa  scopus
14. M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) , 7 pp., arXiv: 2306.13736  crossref  zmath  adsnasa  isi  scopus
15. М. Н. Рыбаков, “Простой пример блокировки аргумента Крейга”, Логические исследования, 29:2 (2023), 36–58  crossref  mathscinet  zmath  scopus
16. М. Н. Рыбаков, “Рекурсивная неотделимость в модальных и суперинтуиционистских предикатных логиках”, Мальцевские чтения. Тезисы докладов (Международный математический центр в Академгородке, 13–17 ноября 2023 года), СО РАН, Новосибирск, 2023, 16 http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdf
17. М. Н. Рыбаков, “Рекурсивная неотделимость для классических теорий бинарного предиката и модальных логик унарного предиката”, Третья конференция Математических центров России (Республика Адыгея, г.Майкоп, АГУ, 10–15 октября 2023 года), 2023 https://mc-conf.adygnet.ru/upload/math_logic.pdf
18. М. Н. Рыбаков, “Поправка к статье “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных” (2022, том 507, с. 61–65)”, Докл. РАН. Матем., информ., проц. упр., 512 (2023), 102  mathnet  crossref  elib

   2022
19. M. Rybakov, D. Shkatov, “Undecidability of the logic of partial quasiary predicates”, Logic Journal of the IGPL, 30:3 (2022), 519–533  crossref  mathscinet  zmath  isi  elib  scopus 2
20. М. Н. Рыбаков, “Сложность проблемы равенства слов в модальных и псевдобулевых алгебрах с малым числом порождающих”, Известия вузов. Математика, 2022, № 5, 42–60  mathnet  crossref  mathscinet  elib; 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  crossref  mathscinet  mathscinet  zmath  isi  elib  scopus
21. 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  crossref  mathscinet  zmath  isi  elib  scopus 6
22. 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  crossref  mathscinet  zmath  isi  elib  scopus
23. 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  crossref  mathscinet  zmath  isi  elib  scopus 3
24. М. Н. Рыбаков, “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных”, Доклады Российской академии наук. Математика, информатика, процессы управления, 507:6 (2022), 61–65  mathnet  crossref  mathscinet  elib; M. Rybakov, “Computational complexity of theories of a binary predicate with a small number of variables”, Doklady Mathematics, 106:3 (2022), 458–461  crossref  mathscinet  zmath  isi  elib  scopus 2
25. I. Agadzhanian, M. Rybakov, Complexity of the variable-free fragment of the weak Grzegorczyk logic, 2022 , 13 pp., arXiv: 2211.14571  crossref  zmath  adsnasa  scopus
26. М. Н. Рыбаков, “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

   2021
27. M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of products with K”, Journal of Logic and Computation, 31:2 (2021), 426–443  crossref  mathscinet  zmath  isi  elib  scopus 10
28. 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  crossref  mathscinet  zmath  isi  elib  scopus 11
29. М. Н. Рыбаков, “Геометрия, наглядность и современные технологии”, Перспективы развития математического образования в эпоху цифровой трансформации: материалы II Всероссийской научно-практической конференции (Тверь, 25–27 марта 2021 года), ред. Ю. В. Чемарина, А. А. Голубев, Издательство ТвГУ, Тверь, 2021, 172–176  elib
30. 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  crossref  mathscinet  zmath  adsnasa  isi  scopus 8
31. 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
32. M. Rybakov, D. Shkatov, “Algorithmic properties of QK4.3 and QS4.3”, Двенадцатые Смирновские чтения. Материалы Международной научной конференции. (Москва, 24–26 июня 2021 года), ред. О. М. Григорьев, Д. В. Зайцев, Ю. В. Ивлев, В. И. Шалак, Н. Е. Томова; отв.ред. В. И. Маркин, Русское общество истории и философии науки, Москва, 2021, 50–54  crossref  zmath  adsnasa  scopus
33. M. Rybakov, D. Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, Логические исследования, 27:2 (2021), 93–120  crossref  mathscinet  zmath  elib  scopus 3
34. М. Н. Рыбаков, “Сложность проблемы равенства слов в многообразиях модальных алгебр”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 3, 5–17  mathnet  crossref  elib 1
35. М. Н. Рыбаков, Д. П. Шкатов, “Неразрешимость логик с унарным предикатом и двумя переменными”, Математические основы информатики и информационно-коммуникационных технологий. Сборник трудов (ТвГУ, Тверь, 3–8 декабря 2021 года), РИУ ТвГУ, 2021, 246–254  crossref  elib
36. K. Aleksandrov, M. Rybakov, D. Shkatov, Computational complexity of one-variable fragments of products with T, 2021 (Published online) , 10 pp., arXiv: 2112.03833  crossref  zmath  adsnasa  isi  scopus

   2020
37. А. П. Коряков, И. Б. Костюков, М. Н. Рыбаков, “Моделирование одновременного переноса жидкости и газа: практический подход”, Программные продукты и системы, 33:1 (2020), 96–110  crossref  elib
38. М. Н. Рыбаков, “Элемент конструктивности в математических курсах”, Перспективы развития математического образования в эпоху цифровой трансформации, Материалы Всероссийской научно-практической конференции (Тверь, 27–28 марта 2020 года), ред. Ю. В. Чемарина, А. А. Голубев, Редакционно-издательское управление Тверского государственного университета, Тверь, 2020, 176–180 http://math.tversu.ru/websites/4/documents/5456/  elib
39. 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  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 8
40. 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  crossref  isi  elib  scopus 1
41. 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  crossref  mathscinet  zmath  isi  scopus 14
42. 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  mathscinet  zmath  scopus

   2019
43. 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  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 24
44. М. Н. Рыбаков, Д. П. Шкатов, “Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал”, Одиннадцатые Смирновские чтения по логике (Москва, 19–21 июня 2019 года), Современные тетради, Москва, 2019, 43–45
45. М. Н. Рыбаков, “Математическое образование: рекурсивная мозаика”, Перспективы развития математического образования в Твери и Тверской области. Материалы III Всероссийской научно-практической конференции (Тверь, 29–30 марта 2019 года), Издательство ТвГУ, 2019, 174–176  elib
46. 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
47. 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  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 5
48. 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  crossref  elib  scopus 4

   2018
49. М. Н. Рыбаков, “Аксиоматизируемость ненормальных и квазинормальных модальных предикатных логик первопорядково определимых классов шкал Крипке”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 3, 81–94  mathnet  crossref  elib
50. М. Н. Рыбаков, “Алгоритмические свойства линейно аппроксимируемых квазинормальных модальных логик”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 4, 87–97  mathnet  crossref  elib 1
51. М. Н. Рыбаков, Л. А. Чагрова, “Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени”, Программные продукты и системы, 31:3 (2018), 591–597  crossref  isi  elib
52. 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  crossref  mathscinet  zmath  adsnasa  isi  scopus 18
53. 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  mathscinet  zmath  elib  scopus
54. 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  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 9
55. 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  crossref  adsnasa  isi  elib  scopus 2
56. М. Н. Рыбаков, Ю. В. Чемарина, Д. П. Шкатов, “Модели времени и математическое образование”, Перспективы развития математического образования в Твери и Тверской области. Материалы Второй Всероссийской научно-практической конференции (Тверь, 21 апреля 2018 года), Издательство ТвГУ, 2018, 173–178  elib

   2017
57. М. Н. Рыбаков, “Неразрешимость модальных логик одноместного предиката”, Логические исследования, 23:2 (2017), 60–75  crossref  mathscinet  zmath  elib  scopus 2
58. М. Н. Рыбаков, “Образование и творчество”, Перспективы развития математического образования в Твери и Тверской области. Выпуск I, часть II. Материалы научно-практической конференции (Тверь, 18 февраля 2017 года), Издательство ТвГУ, Тверь, 2017, 79–82  elib
59. М. Н. Рыбаков, “Неразрешимость модальных предикатных логик в языке с одной одноместной буквой”, Десятые Смирновские чтения по логике (Москва, 15–17 июня 2017 года), Современные тетради, Москва, 2017, 41–43  elib
60. М. Н. Рыбаков, Е. А. Котикова, “Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой”, Десятые Смирновские чтения по логике (Москва, 15–17 июня 2017 года), Современные тетради, Москва, 2017, 43–44  elib
61. 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  elib
62. 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
63. Е. А. Котикова, М. Н. Рыбаков, “Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами”, Вестник ТвГУ. Серия: Прикладная математика, 2016, № 4, 5–19  mathnet  crossref  elib 1
64. А. В. Духовнева, М. Н. Рыбаков, Д. П. Шкатов, “Алгоритмическая выразительность некоторых фрагментов языка логики ветвящегося времени”, Программные продукты и системы, 29:4 (2016), 135–142  crossref  isi  elib
65. М. Н. Рыбаков, Способы обоснования существования математических объектов. Учебно-методическое пособие, Тверь, Издательство ТвГУ, 2016
66. М. Н. Рыбаков, Отношения, функции и операции над ними. Учебно-методическое пособие, Тверь, Издательство ТвГУ, 2016

   2015
67. 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  crossref  mathscinet  zmath  elib 1
68. М. Н. Рыбаков, “Погружение классической логики предикатов в логику квазиарных предикатов”, Девятые Смирновские чтения по логике (Москва, 17–19 июня 2015 года), ред. В. И. Маркин, Современные тетради, Москва, 2015, 33–34  elib
69. M. Rybakov, D. Shkatov, “Computational complexity of logics of nonterminating programs with restrictions on the number of propositional variables”, Девятые Смирновские чтения по логике (Москва, 17–19 июня 2015 года), ред. В. И. Маркин, Современные тетради, Москва, 2015, 34  elib

   2014
70. Е. А. Котикова, М. Н. Рыбаков, “Пример использования логики как шаг в процессе её постижения”, Проблеми викладання логiки та перспективи її розвитку. VІ Мiжнародна науково-практична конференцiя (Київський нацiональний унiверситет iменi Тараса Шевченка, 15–16 травня 2014 року), ВПЦ «Київський унiверситет», Київ, 2014, 102–104
71. М. Н. Рыбаков, “Неразрешимость логики квазиарных предикатов”, Вестник ТвГУ. Серия: Прикладная математика, 2014, № 4, 17–32  mathnet  elib

   2013
72. E. A. Kotikova, M. N. Rybakov, “First-Order Logics of Branching Time: On Expressive Power of Temporal Operators”, Логические исследования, 19 (2013), 68–99  crossref  mathscinet  zmath  elib 2

   2012
73. Е. А. Котикова, М. Н. Рыбаков, “Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты”, Открытый Российско-Финский коллоквиум по логике (Санкт-Петербург, 14–16 июня 2012 года), 2012

   2010
74. Е. А. Котикова, М. Н. Рыбаков, “Сложность проблемы истинности константных модальных формул в модели”, Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции (Санкт-Петербург, 23–26 июня 2010 года), Издательство СПбГУ, Санкт-Петербург, 2010, 281–283  elib

   2009
75. М. Н. Рыбаков, “Сложность фрагментов логики IPDL”, Шестые Смирновские чтения по логике, Современные тетради, 2009, 34–35  elib

   2008
76. М. Н. Рыбаков, “Свойства логик знания при одновременном использовании оператора распределённого знания и оператора всеобщего знания”, Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции (Санкт-Петербург, 26–28 июня 2008 года), Издательство СПбГУ, 2008, 443–444  elib
77. M. N. Rybakov, “Complexity of intuitionistic propositional logic and its fragments”, Journal of Applied Non-Classical Logics, 18:2–3 (2008), 267–292  crossref  mathscinet  zmath  elib  scopus 15

   2007
78. М. Н. Рыбаков, “Сложность константного фрагмента пропозициональной динамической логики”, Вестник ТвГУ. Серия: Прикладная математика, 2007, № 5, 5–17  mathnet  elib 2
79. М. Н. Рыбаков, “Неклассические логики: их сложность и сложность их приложений”, Философия математики: актуальные проблемы. Материалы Международной научной конференции (Москва, 15–16 июня 2007 года), Издательство философского факультета МГУ, Москва, 2007, 123–125  elib
80. М. Н. Рыбаков, “К вопросу о полноте по Крипке предикатных логик”, Смирновские чтения. Материалы 5-ой конференции (Москва, 20–22 июня 2007 года), ред. А. С. Карпенко, Издательство ИФ РАН, Москва, 2007, 37–38  elib
81. M. N. Rybakov, “Complexity of finite-variable fragments of EXPTIME-complete logics”, Journal of Applied Non-Classical Logics, 17:3 (2007), 359–382  crossref  mathscinet  zmath  elib  scopus 10
82. И. А. Горбунов, М. Н. Рыбаков, “Континуальные семейства логик”, Логические исследования, 14 (2007), 131–151  mathscinet  zmath  elib

   2006
83. М. Н. Рыбаков, “Формальная предикатная логика А.Виссера: выразительность фрагментов языка от одной одноместной буквы”, Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции (Санкт-Петербург, 22–24 июня 2006 года), 2006, 386–388  elib
84. 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  mathscinet  zmath  elib  scopus

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

   2004
88. А. С. Гусева, М. Н. Рыбаков, “Интуиционистские формулы от двух переменных и PSPACE-полнота”, Современная логика: проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции (Санкт-Петербург), Издательство СПбГУ, Санкт-Петербург, 2004, 480–482
89. М. Н. Рыбаков, “Погружение интуиционистской логики в её фрагмент от двух переменных и сложность этого фрагмента”, Логические исследования, 11 (2004), 247–261  mathscinet  zmath  elib

   2003
90. М. Н. Рыбаков, “О сложности проблемы разрешения для базисной и формальной логик с конечным числом переменных в языке”, Смирновские чтения. IV Международная конференция (Москва), Издательство Института философии РАН, Москва, 2003, 49–50
91. М. Н. Рыбаков, “Сложность проблемы разрешения базисной и формальной логик”, Логические исследования, 10 (2003), 158–166  mathscinet  zmath  elib
92. М. Н. Рыбаков, А. В. Чагров, “О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных”, Колмогоров и современная математика (Москва), ред. Осипов Ю. С., Садовничий В. А., Издательство МГУ, Москва, 2003, 707–708  elib
93. 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  mathscinet  zmath

   2002
94. М. Н. Рыбаков, А. В. Чагров, “Константные формулы в модальных логиках: проблема разрешения”, Логические исследования, 9 (2002), 202–220  mathscinet  zmath  elib
95. М. Н. Рыбаков, “Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой”, Логические исследования, 9 (2002), 179–201  mathscinet  zmath  elib
96. 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
97. М. Н. Рыбаков, А. В. Чагров, “Модальные формулы без переменных и PSPACE-полнота”, Современная логика: проблемы теории, истории и применения в науке. Материалы VII Международной научной конференции (Санкт-Петербург), Издательство Санкт-Петербургского университета, Санкт-Петербург, 2002, 498–500
98. М. Н. Рыбаков, “Рекурсивная сводимость предикатных вариантов стандартных модальных логик к классической логике предикатов”, Российской математике — триста лет. Материалы юбилейной научной конференции (Тверь, 24–25 октября 2001 года), Издательство Тверского государственного университета, Тверь, 2002, 108–114

   2001
99. И. А. Горбунов, М. Н. Рыбаков, “Выразительность операторов знания и возможность эффективного описания логик знания”, Проблемы управления и моделирования в сложных системах. Труды III Международной конференции (Самара), Самарский научный центр РАН, Самара, 2001, 617–622
100. М. Н. Рыбаков, “Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей”, Логические исследования, 8 (2001), 155–167  mathscinet  zmath  elib
101. М. Н. Рыбаков, “Операторы всеобщего и распределённого знания: дополнительные выразительные средства в логиках знания”, Информационные процессы, 1:1 (2001), 89–98  elib
102. М. Н. Рыбаков, “О степени неразрешимости предикатных логик знания”, Труды научно-исследовательского семинара Логического центра Института философии РАН, XV, Издательство Института философии РАН, Москва, 2001, 79–91  mathscinet  zmath

   2000
103. М. Н. Рыбаков, “Разрешимость некоторых модальных предикатных логик относительно классической логики предикатов”, Учёные записки Тверского государственного университета, 6, Издательство Тверского государственного университета, Тверь, 2000, 8–12
104. М. Н. Рыбаков, “Разрешимость интуиционистской логики предикатов относительно классической логики предикатов”, Современная логика: проблемы теории, истории и применения в науке. Материалы VI Международной научной конференции (Санкт-Петербург), Издательство Санкт-Петербургского государственного университета, Санкт-Петербург, 2000, 247–250
105. М. Н. Рыбаков, А. В. Чагров, “Стандартные переводы неклассических формул и относительная разрешимость логик”, Труды научно-исследовательского семинара Логического центра Института философии РАН, XIV, Издательство Института философии РАН, Москва, 2000, 81–98  mathscinet  zmath

   1999
106. М. Н. Рыбаков, “Консервативность в нормальных модальных предикатных логиках”, Тезисы XXXVII Международной научной студенческой конференции (Новосибирск, 12–16 апреля 1999 года), Издательство НГУ, Новосибирск, 1999

Доклады и лекции в базе данных 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 г.   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024