1. A. V. Kuznetsov, “Undecidability of general problems of completeness, decidability and equivalence for propositional calculi,” Algebra Logika, 2, No. 4, 47–66 (1963).
2. A. Chagrov, “Undecidable properties of superintuitionistic logics,” in Mathematical Problems in Cybernetics, Iss. 5 (1994), pp. 62–108.
3. I. Johansson, “Der Minimalkalk¨ul, ein reduzierter intuitionistischer Formalismus,” Comp. Math., 4, 119–136 (1937).
4. L. L. Maksimova, “Classification of extensions of the modal logic S4,” Sib. Math. J., 54, No. 6, 1064–1075 (2013).
5. L. L. Maksimova, “Restricted interpolation over modal logic S4,” Algebra and Logic, 52, No. 4, 308–335 (2013).