Revisiting completeness for the Kn modal logics: A new proof. - Tara Nicholson; Ray E. Jennings; Darko Sarenac (Log. J. IGPL, 2000)