A formula holds on a Kripke structure iff it holds on all initial states. Hence, to prove that formula holds on a Kripke structure with local model checking, you would have to check for all initial states that they satisfy the structure. To prove that the formula does not hold on the Kripke structure, it is sufficient to find one initial state that violates it.