1. N. Alechina, 1993,Binary quantifiers and relational semantics, Report LP-93-13, Institute for Logic, Language and Computation, University of Amsterdam.
2. N. Alechina, 1995,Modal quantifiers, dissertation, Institute for Logic, Language and Computation, University of Amsterdam.
3. N. Alechina andJ. van Benthem, 1993,Modal quantification over structured domains, Report ML-93-02, Institute for Logic, Language and Computation, University of Amsterdam. (To appear in: M. de Rijke (ed.),Second Yearbook of Modal Logic.)
4. J. Barwise, 1969, Infinitary logic and admissible sets,Journal of Symbolic Logic 34, 226?252.
5. J. Barwise, 1972a, The Hanf number of second-order logic,Journal of Symbolic Logic 37, 588?594.