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