Infinitary Modal Logic and Generalized Kripke Semantics