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
Marta Bílková, Almudena Colacito, “Proof Theory for Positive Logic with Weak Negation”, Stud Logica, 108, no. 4, 2020, 649
Mikhail Rybakov, Dmitry Shkatov, Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 2020, 58
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
Mikhail Rybakov, Dmitry Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, LI, 27, no. 2, 2021, 93
Mikhail Rybakov, Dmitry Shkatov, “Complexity function and complexity of validity of modal and superintuitionistic propositional logics”, Journal of Logic and Computation, 33, no. 7, 2023, 1566
Mikhail Rybakov, Dmitry Shkatov, “Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter”, Stud Logica, 107, no. 4, 2019, 695
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, “Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness”, Logic Journal of the IGPL, 2023, jzad002
Михаил Николаевич Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, LI, 29, no. 1, 2023, 114