1. Barwise, J. and Cooper, R.: 1981, `Generalized Quantifiers and Natural Language’, Linguistics and Philosophy
4, 159–219.
2. Corcoran, J.: 1972, `Variable Binding Term Operators’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik
18, 177–182.
3. Gallin, D.: 1975, Intensional and Higher-Order Modal Logic, North-Holland Publishing Company, Amsterdam.
4. Hughes, G. E. and Cresswell, M. J.: 1968, An Introduction to Modal Logic, Methuen, London.
5. Hughes, G. E. and Cresswell, M. J.: 1984, A Companion to Modal Logic, Methuen, London.