Mikhail Rybakov

Publications⁴⁷

• 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.