1. Auffray, H. Résolution Modale et Logique des Chemins. Dissertation, Department of Informatics, University of Caen, 1989.
2. Benthem, J. van. Modal Logic and Classical Logic. Bibliopolis, Napoli and Atlantic Heights (N.J. ), 1985.
3. Benthem, J. van. A Manual of Intensional Logic. CSLI Lecture Notes 1, The Chicago University Press, Chicago, second revised edition, 1988.
4. Benthem, J. van. Temporal Logic. Report X-91–05, Institute for Language, Logic and Information, University of Amsterdam, 1990. To appear in [11].
5. Benthem, J. van. Language in Action: Categories, Lambdas and Dynamic Logic. North-Holland, Amsterdam, 1991.