<> phi holds on the states that have a successor state which satisfies phi. With <>{}, I guess, you mean <>false which would hold on the states which would have a successor state where false holds. However, no state can satisfy false, and therefore <>false does not hold on any state, and therefore the states satisfying <>false are {}. This is independent of a Kripke structure.