Revisiting completeness for the Kn modal logics: a new proof. - Nicholson, T; Jennings, RE; Sarenac, D (Logic Journal of the IGPL, 2000)