Extensions of Kripke models