1. Gallin, D., 1975. Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company. ISBN 0 7204 0360 X.
2. Completeness in the theory of types
3. Loukanova, R., 1991. Situation Semantical Analysis of Natural Language. Ph.D. thesis, Faculty of Mechanics and Mathematics, Moscow State University (MGU), Moscow. (in Russian).
4. Russellian and Strawsonian Definite Descriptions in Situation Semantics
5. Quantification and Intensionality in Situation Semantics