- Mikhail Rybakov, Dmitry Shkatov, “Undecidability of the Logic of Partial Quasiary Predicates”, Logic Journal of the IGPL, 30, no. 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
- Михаил Николаевич Рыбаков, Дмитрий Петрович Шкатов, Математические основы информатики и информационно-коммуникационных систем, 2021, 246
- Mikhail Rybakov, Dmitry Shkatov, “Variations on the Kripke Trick”, Stud Logica, 2024
- Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of propositional temporal and modal logics of computation”, Theoretical Computer Science, 925, 2022, 45
- Mikhail Rybakov, Dmitry Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation, 2024, exae077