Rybakov Mikhail Nikolaevich

Presentations in 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)
   June 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)
   June 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)
   June 14, 2023 15:00   
4. Computational complexity of non-classical logics of an unary predicate
   M. N. Rybakov
   Seminars "Proof Theory" and "Logic Online Seminar"
   March 6, 2023 18:30   
5. 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
   June 19, 2021 11:00