- Mikhail Rybakov, Dmitry Shkatov, “Undecidability of the Logic of Partial Quasiary Predicates”, Logic Journal of the IGPL, 30, № 3, 2022, 519
- Mikhail Rybakov, Dmitry Shkatov, “Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames”, Journal of Logic and Computation, 2024, exad078
- Михаил Николаевич Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, LI, 29, № 1, 2023, 114
- Mikhail Rybakov, “Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness”, Logic Journal of the IGPL, 2023, jzad002
- Mikhail Rybakov, Dmitry Shkatov, “Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages”, Journal of Logic and Computation, 31, № 5, 2021, 1266
- M. Rybakov, “Computational Complexity of the Word Problem in Modal and Heyting Algebras with a Small Number of Generators”, Russ Math., 66, № 5, 2022, 33
- Mikhail Rybakov, Dmitry Shkatov, “Variations on the Kripke Trick”, Stud Logica, 2024
- Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of products with non-transitive modal logics”, Journal of Logic and Computation, 32, № 5, 2022, 853
- Mikhail Rybakov, Dmitry Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, LI, 27, № 2, 2021, 93
- Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of propositional temporal and modal logics of computation”, Theoretical Computer Science, 925, 2022, 45