- Михаил Николаевич Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, 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
- Михаил Николаевич Рыбаков, Дмитрий Петрович Шкатов, Математические основы информатики и информационно-коммуникационных систем, 2021, 246
- 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
- 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, “Variations on the Kripke Trick”, Stud Logica, 2024
- Mikhail Rybakov, Dmitry Shkatov, “Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages”, Journal of Logic and Computation, 31, № 2, 2021, 494
- 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
- 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