Truth of Formulas in a Kripke Model