1. Rybakov M., Shkatov D. Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter // Studia Logica. 2022. V.110. P.597-598.
Подробно
2. Gorbunov I., Shkatov D. On Independent Axiomatizability of Quasi-Normal Modal Logics // Studia Logica. 2022. V.110. Issue 5. P.1189-1217.
Подробно
3. Rybakov M., Shkatov D. Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter // Studia Logica. 2019. V.107. Issue 4. P.695-717.
Подробно