1. Alechina, N. (1995a), On a decidable generalized quantifier logic corresponding to a decidable fragment of first order logic, Journal of Logic, Language and Information
4, 177–189.
2. Alechina, N. (1995b), Modal quantifiers. PhD Thesis, Univ. of Amsterdam, Amsterdam.
3. Alechina, N. & van Lambalgen, M. (1995), Generalized quantification as substructural logic, Technical Report ML-95-05, ILLC, University of Amsterdam. To appear in the Journal of Symbolic Logic.
4. Benthem, van, J. & Alechina, N., (1993), Modal quantification over structured domains, Technical Report ML-93-02, ILLC, Univ. of Amsterdam. To appear in M. de Rijke, ed., Advances in Intensional Logic, Kluwer, Dordrecht.
5. Fine, K. (1985), Natural deduction and arbitrary objects, Journal of Philosophical Logic
14, 57–107.