Infinitary Modal Logic and Generalized Kripke Semantics

Firenze University Press