- 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
- Mikhail Rybakov, Dmitry Shkatov, “Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages”, Journal of Logic and Computation, 30, no. 7, 2020, 1305
- Mikhail Rybakov, Dmitry Shkatov, “Variations on the Kripke Trick”, Stud Logica, 2024
- V. B. Shehtman, D. Shkatov, “Semiproducts, Products, and Modal Predicate Logics: Some Examples”, Dokl. Math., 108, no. 2, 2023, 411
- Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of propositional temporal and modal logics of computation”, Theoretical Computer Science, 925, 2022, 45
- M. Rybakov, “Computational Complexity of the Word Problem in Modal and Heyting Algebras with a Small Number of Generators”, Russ Math., 66, no. 5, 2022, 33
- Михаил Николаевич Рыбаков, Дмитрий Петрович Шкатов, Математические основы информатики и информационно-коммуникационных систем, 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, no. 5, 2021, 1266
- Mikhail Rybakov, Dmitry Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, LI, 27, no. 2, 2021, 93