Some results on Kripke models over an arbitrary fixed frame