Infinitary Modal Logic and Generalized Kripke Semantics
Firenze University Press