Mikhail Rybakov
- Associate Professor:Faculty of Mathematics
- Mikhail Rybakov has been at HSE University since 2019.
Education, Degrees and Academic Titles
- 2019
PhD
University of the Witwatersrand - 2017Associate Professor
- 2005
Candidate of Sciences* (PhD)
P.G. Demidov Yaroslavl State University - 1999
Master's
Tver State University - 1997
Bachelor's
Tver State University
* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Courses (2023/2024)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Past Courses
Courses (2022/2023)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modal Logics and Computational Complexity" (Optional course (faculty); 1, 2 module)Rus
Courses (2021/2022)
Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Courses (2020/2021)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 3 year, 3, 4 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Courses (2019/2020)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Publications48
- Article Rybakov M. Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness // Logic Journal of the IGPL. 2024. Vol. 32. No. 3. P. 465-492. doi
- Chapter Agadzhanian I., Rybakov M., Shkatov D. Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames, in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M. : ., 2023. P. 13-17.
- Preprint Агаджанян И. А., Rybakov M., Шкатов Д. П. Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames / Cornell University. Series arXiv "math". 2023. doi
- Article Rybakov M., Shkatov D. Complexity function and complexity of validity of modal and superintuitionistic propositional logics // Journal of Logic and Computation. 2023. Vol. 33. No. 7. P. 1566-1595. doi
- Chapter Rybakov M., Shkatov D. On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics, in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M. : ., 2023. P. 73-74. doi
- Chapter Rybakov M., Serova D. Tiling problems and complexity of logics, in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M. : ., 2023. P. 68-70.
- Preprint Rybakov M., Серова Д. А. Tiling problems and complexity of logics (extended version) / Cornell University. Series arXiv "math". 2023. doi
- Article Рыбаков М. Н. Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? // Логические исследования. 2023. Т. 29. № 1. С. 114-146. doi
- Article Рыбаков М. Н. Деревья как средство моделирования неразрешимых проблем // Вестник Тверского государственного университета. Серия: Прикладная математика. 2023. № 1. С. 5-23. doi
- Article Рыбаков М. Н. Простой пример блокировки аргумента Крейга // Логические исследования. 2023. Т. 29. № 2. С. 36-58. doi
- Article Rybakov M., Shkatov D. Complexity of finite-variable fragments of propositional temporal and modal logics of computation // Theoretical Computer Science. 2022. Vol. 925. P. 45-60. doi
- Preprint Рыбаков М. Н., Агаджанян И. А. Complexity of the variable-free fragment of the weak Grzegorczyk logic / arXiv. Серия 2211.14571 "Logic". 2022.
- Article Rybakov M., Shkatov D. Undecidability of the logic of partial quasiary predicates // Logic Journal of the IGPL. 2022. Vol. 30. No. 3. P. 519-533. doi
- Article Rybakov M., Shkatov D. Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages // Journal of Logic and Computation. 2021. Vol. 31. No. 5. P. 1266-1288. doi
- Article Rybakov M., Shkatov D. Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages // Journal of Logic and Computation. 2021. Vol. 31. No. 2. P. 494-522. doi
- Article Rybakov M., Shkatov D. Complexity of finite-variable fragments of products with K // Journal of Logic and Computation. 2021. Vol. 31. No. 2. P. 426-443. doi
- Article Rybakov M., Shkatov D. Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter // Studia Logica. 2021 doi
- Article Rybakov M., Shkatov D. Undecidability of QLTL and QCTL with two variables and one monadic predicate letter // Logical Investigations. 2021. Vol. 27. No. 2. P. 93-120. doi
- Chapter Рыбаков М. Н. Геометрия, наглядность и современные технологии // В кн.: Перспективы развития математического образования в эпоху цифровой трансформации: материалы II Всероссийской научно-практической конференции. Тверь : ТвГУ, 2021. С. 172-176.
- Article Рыбаков М. Н. Сложность проблемы равенства слов в многообразиях модальных алгебр // Вестник Тверского государственного университета. Серия: Прикладная математика. 2021. № 3. С. 5-17. doi
- Preprint Рыбаков М. Н., Александров К. И., Шкатов Д. П. Сложность фрагментов произведений с логикой T в языке с одной переменной / ArXiv. Серия arXiv:2112.03833 "arXiv:2112.03833". 2021.
- Article Rybakov M., Shkatov D. Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages // Journal of Logic and Computation. 2020. Vol. 30. No. 7. P. 1305-1329. doi
- Chapter Rybakov M., Shkatov D. Algorithmic properties of first-order modal logics of the natural number line in restricted languages, in: Advances in Modal Logic Vol. 13. College Publications, 2020. P. 523-539.
- Chapter Shkatov D., Rybakov M. Computational properties of the logic of partial quasiary predicates, in: Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT '20). ACM, 2020. doi P. 58-65. doi
- Article Rybakov M., Shkatov D. Recursive enumerability and elementary frame definability in predicate modal logic // Journal of Logic and Computation. 2020. Vol. 30. No. 2. P. 549-560. doi
- Chapter Рыбаков М. Н. Элемент конструктивности в математических курсах // В кн.: Перспективы развития математического образования в эпоху цифровой трансформации. Материалы Всероссийской научно-практической конференции. Тверь, 27–28 марта 2020 года. Тверь : Тверской государственный университет, 2020. С. 176-180.
- Book Rybakov M. Algorithmic properties of modal logics with restricted languages. University of the Witwatersrand, Johannesburg, 2019.
- Article Rybakov M., Shkatov D. Complexity of finite-variable fragments of propositional modal logics of symmetric frames // Logic Journal of the IGPL. 2019. Vol. 27. No. 1. P. 60-68. doi
- Chapter Rybakov M., Shkatov D. Trakhtenbrot theorem for classical languages with three individual variables, in: Proceedings of the South African Institute of Computer Scientists and Information Technologists 2019. NY : ACM, 2019. Ch. 19. P. 1-7. doi
- Article Rybakov M., Shkatov D. Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter // Studia Logica. 2019. Vol. 107. No. 4. P. 695-717. doi
- Chapter Рыбаков М. Н. Математическое образование: рекурсивная мозаика // В кн.: Перспективы развития математического образования в Твери и Тверской области. Тверь : Тверской государственный университет, 2019. С. 174-176.
- Chapter Рыбаков М. Н., Шкатов Д. П. Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал // В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва. М. : Современные тетради, 2019. С. 43-45.
- Chapter Rybakov M., Shkatov D. A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames, in: Advances in Modal Logic Vol. 12. College Publications, 2018. P. 531-539.
- Chapter Rybakov M., Shkatov D. Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables, in: Theoretical Aspects of Computing – ICTAC 2018 Vol. 11187. Springer, 2018. P. 396-414. doi
- Article Rybakov M., Shkatov D. Complexity and expressivity of propositional dynamic logics with finitely many variables // Logic Journal of the IGPL. 2018. Vol. 26. No. 5. P. 539-547. doi
- Chapter Rybakov M., Shkatov D. On complexity of propositional linear-time temporal logic with finitely many variables, in: Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists. NY : ACM, 2018. P. 313-316. doi
- Article Рыбаков М. Н. Аксиоматизируемость ненормальных и квазинормальных модальных предикатных логик первопорядково определимых классов шкал Крипке // Вестник Тверского государственного университета. Серия: Прикладная математика. 2018. № 3. С. 81-94. doi
- Article Рыбаков М. Н., Чагрова Л. А. Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени // Программные продукты и системы. 2018. Т. 31. № 3. С. 591-597. doi
- Article Рыбаков М. Н. Алгоритмические свойства линейно аппроксимируемых квазинормальных модальных логик // Вестник Тверского государственного университета. Серия: Прикладная математика. 2018. № 4. С. 87-97. doi
- Chapter Рыбаков М. Н., Чемарина Ю. В., Шкатов Д. П. Модели времени и математическое образование // В кн.: Перспективы развития математического образования в Твери и Тверской области. Тверь : Тверской государственный университет, 2018. С. 173-178.
- Chapter Rybakov M., Balbiani P. An axiomatization of iteration-free PDL with loop, in: Twelfth International Tbilisi Symposium on Language, Logic and Computation. Lagodekhi, Georgia: Tbilisi State University, 2017. P. 49-53.
- Chapter Rybakov M., Shkatov D. 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, in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. P. 45-45.
- Chapter Рыбаков М. Н., Котикова Е. А. Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой // В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. С. 43-44.
- Article Рыбаков М. Н. Неразрешимость модальных логик одноместного предиката // Логические исследования. 2017. Т. 23. № 2. С. 60-75. doi
- Chapter Рыбаков М. Н. Неразрешимость модальных предикатных логик в языке с одной одноместной буквой // В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. С. 41-43.
- Chapter Рыбаков М. Н. Образование и творчество // В кн.: Перспективы развития математического образования в Твери и Тверской области Ч. 2. Вып. 1. Тверь : Тверской государственный университет, 2017. С. 79-82.
- Article Рыбаков М. Н., Котикова Е. А. Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами // Вестник Тверского государственного университета. Серия: Прикладная математика. 2016. № 4. С. 5-19. doi
- Article Rybakov M., Котикова Е. А. Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics // Logical Investigations. 2015. Vol. 21. No. 1. P. 86-99.
Conferences
- 2023
Тринадцатые Смирновские чтения по логике (Москва). Presentation: Трюк Крипке и разрешимость монадических фрагментов модальных и суперинтуиционистских предикатных логик
- 2021Двенадцатые Смирновские чтения по логике (Москва). Presentation: Algorithmic properties of QK4.3 and QS4.3
- Неразрешимость логик с унарным предикатом и двумя переменными (Тверь). Presentation: Неразрешимость логик с унарным предикатом и двумя переменными
- 2020Advances in Modal Logic 2020 (Хельсинки). Presentation: Algorithmic properties of first-order modal logics of the natural number line in restricted languages
- Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT) (Cape Town). Presentation: Computational properties of the logic of partial quasiary predicates
- 2019Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'19) (Nombolo Mdluli Conference Centre, Skukuza). Presentation: Trakhtenbrot theorem for classical languages with three individual variables
- Одиннадцатые Смирновские чтения по логике (Москва). Presentation: Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал
- Перспективы развития математического образования в Твери и Тверской области (Тверь). Presentation: Математическое образование: рекурсивная мозаика
- 201815th International Colloquium on Theoretical Aspects of Computing (ICTAC) (Stellenbosch, South Africa). Presentation: Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables
- Advances in Modal Logic 2018 (Bern). Presentation: A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames
- Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT) (Port Elizabeth, South Africa). Presentation: On complexity of propositional linear-time temporal logic with finitely many variables
- 2017Десятые Смирновские чтения по логике (Москва). Presentation: Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой
- Перспективы развития математического образования в Твери и Тверской области. Научно-практическая конференция (Тверь). Presentation: Образование и творчество
- XII Tbilisi Symposium of Language, Logic and Computation (Lagodekhi). Presentation: An axiomatization of iteration-free PDL with loop