- Mikhail Rybakov, Dmitry Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, LI, 27, № 2, 2021, 93
- Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang, “Are bundles good deals for first-order modal logic?”, Information and Computation, 293, 2023, 105062
- Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of products with K”, Journal of Logic and Computation, 31, № 2, 2021, 426
- 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