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

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

1. Модальные предикатные логики дедекиндовых порядков
   М. Н. Рыбаков
   Логический семинар лаборатории им. Манина
   10 сентября 2025 г. 14:00
2. NP-полнота задачи разбиения множества
   Д. А. Серова, М. Н. Рыбаков
   Семинар Добрушинской лаборатории Высшей школы современной математики МФТИ
   29 апреля 2025 г. 16:15
3. Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных
   М. Н. Рыбаков
   Логический семинар лаборатории им. Манина
   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)
   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)
   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)
   14 июня 2023 г. 15:00   
7. Алгоритмическая сложность неклассических логик унарного предиката
   М. Н. Рыбаков
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   6 марта 2023 г. 18:30   
8. Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables
   М. Н. Рыбаков
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   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
   19 июня 2021 г. 11:00   
10. Алгоритмическая выразительность неклассических предикатных логик, задаваемых классами шкал Крипке, не определимыми в логике первого порядка
    М. Н. Рыбаков
    Научно-исследовательский семинар по математической логике
    5 декабря 2018 г.