- Xun Wang, “Completeness theorems for $\exists \Box $-bundled fragment of first-order modal logic”, Synthese, 201, № 4, 2023, 123
- Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of products with K”, Journal of Logic and Computation, 31, № 2, 2021, 426
- 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, 11187, Theoretical Aspects of Computing – ICTAC 2018, 2018, 396
- Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang, “Are bundles good deals for first-order modal logic?”, Information and Computation, 293, 2023, 105062
- Erik Parmann, Thomas Ågotnes, “Reasoning about strategic voting in modal logic quickly becomes undecidable”, Journal of Logic and Computation, 31, № 4, 2021, 1055
- Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Tuyt, “One-variable fragments of intermediate logics over linear frames”, Information and Computation, 287, 2022, 104755
- Mikhail Rybakov, Dmitry Shkatov, Proceedings of the South African Institute of Computer Scientists and Information Technologists 2019, 2019, 1
- V. Shehtman, D. Shkatov, “SEMIPRODUCTS, PRODUCTS, AND MODAL PREDICATE LOGICS: SOME EXAMPLES”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 513, № 1, 2023, 99
- 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