- Mikhail Rybakov, Dmitry Shkatov, Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 2020, 58
- Михаил Николаевич Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, LI, 29, № 1, 2023, 114
- Mikhail Rybakov, “Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness”, Logic Journal of the IGPL, 2023, jzad002
- Anantha Padmanabha, R. Ramanujam, “A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic”, ACM Trans. Comput. Logic, 24, № 4, 2023, 1
- Ana de Almeida Borges, Joost J. Joosten, “Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic”, Stud Logica, 2024