How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. - Alexander V. Chagrov; Mikhail N. Rybakov (Advances in Modal Logic, 2002)

Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables. - Mikhail N. Rybakov (Advances in Modal Logic, 2006)

Complexity of finite-variable fragments M of EXPTIME-complete logics. - Mikhail N. Rybakov (J. Appl. Non Class. Logics, 2007)

Complexity of intuitionistic propositional logic and its fragments. - Mikhail N. Rybakov (J. Appl. Non Class. Logics, 2008)

A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames. - Mikhail N. Rybakov; Dmitry Shkatov (Advances in Modal Logic, 2018)

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. - Mikhail N. Rybakov; Dmitry Shkatov (ICTAC, 2018)

On complexity of propositional linear-time temporal logic with finitely many variables. - Mikhail N. Rybakov; Dmitry Shkatov (SAICSIT, 2018)

Complexity and expressivity of propositional dynamic logics with finitely many variables. - Mikhail N. Rybakov; Dmitry Shkatov (Log. J. IGPL, 2018)

Trakhtenbrot theorem for classical languages with three individual variables. - Mikhail N. Rybakov; Dmitry Shkatov (SAICSIT, 2019)

Complexity of finite-variable fragments of propositional modal logics of symmetric frames. - Mikhail N. Rybakov; Dmitry Shkatov (Log. J. IGPL, 2019)

Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. - Mikhail N. Rybakov; Dmitry Shkatov (Stud Logica, 2019)

Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages. - Mikhail N. Rybakov; Dmitry Shkatov (AiML, 2020)

Computational properties of the logic of partial quasiary predicates. - Mikhail N. Rybakov; Dmitry Shkatov (SAICSIT, 2020)

Recursive enumerability and elementary frame definability in predicate modal logic. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2020)

Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2020)

Complexity of finite-variable fragments of products with K. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2021)

Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2021)

Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2021)

Undecidability of the Logic of Partial Quasiary Predicates. - Mikhail N. Rybakov; Dmitry Shkatov (Log. J. IGPL, 2022)

Complexity of finite-variable fragments of products with non-transitive modal logics. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2022)

Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. - Mikhail N. Rybakov; Dmitry Shkatov (Stud Logica, 2022)

Complexity of finite-variable fragments of propositional temporal and modal logics of computation. - Mikhail N. Rybakov; Dmitry Shkatov (Theor. Comput. Sci., 2022)

Algorithmic properties of QK4.3 and QS4.3. - Mikhail N. Rybakov; Dmitry Shkatov (CoRR, 2023)

Complexity function and complexity of validity of modal and superintuitionistic propositional logics. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2023)

On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics. - Mikhail N. Rybakov; Dmitry Shkatov; Dmitrij P. Skvortsov (AiML, 2024)

Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness. - Mikhail N. Rybakov (Log. J. IGPL, 2024)

Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2025)

Polytime embedding of intuitionistic modal logics into their one-variable fragments. - Mikhail N. Rybakov; Dmitry Shkatov (J. Log. Comput., 2025)

Variations on the Kripke Trick. - Mikhail N. Rybakov; Dmitry Shkatov (Stud Logica, 2025)