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

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