Xun Wang, “Completeness theorems for $\exists \Box $-bundled fragment of first-order modal logic”, Synthese, 201, no. 4, 2023, 123
Mikhail Rybakov, Dmitry Shkatov, “Complexity of finite-variable fragments of products with K”, Journal of Logic and Computation, 31, no. 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, no. 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, no. 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, no. 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, no. 2, 2021, 494