K. Tóth, “Completeness in non-simple and stable modal logics”, Acta Cybern, vol. 4, no. 4, pp. 377–382, Jan. 1980.