1. Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
2. L. L. Maksimova, "Modal logics of finite layers," Algebra Logika,14, No. 3, 304–319 (1975).
3. L. L. Maksimova and V. V. Rybakov, "The lattice of normal modal logics," Algebra Logika,13, No. 2, 188–216 (1974).
4. A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
5. V. V. Rybakov, "Admissible rules for pretable modal logics," Algebra Logika,20, No. 4, 440–464 (1981).