Safety- and liveness-properties in propositional temporal logic: characterizations and decidability Wolfgang Thomas (1988) Banach Center Publications
Some model theory for monotone quantifiers. J.A. Makowsky, S. Tulipani (1977) Archiv für mathematische Logik und Grundlagenforschung
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis. Wolfgang Friedrich (1984) Archiv für mathematische Logik und Grundlagenforschung
Structures for a logic with additional generalized quantifier Guus Broesterhuizen (1975) Colloquium Mathematicae