Mikhail Rybakov

1. Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames
   2023/06/23 by Irina Agadzhanian, Mikhail Rybakov, Agadzhanian, I. +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)
2. Algorithmic properties of QK4.3 and QS4.3
   2023/07/06 by Mikhail Rybakov, Rybakov, M., Dmitry Shkatov +1 · 1 citation
   Computer Science · #Natural Language Processing Techniques #Logic, Reasoning, and Knowledge #Logic, programming, and type systems