van Benthem, J. F. A. K. (1994). Logica in Veelvoud. RADAR, 364-373.
van Benthem, J. F. A. K., van Eyck, J., & Stebletsova, V. (1994). Modal Logic, Transition Systems and Processes. Journal of Logic and Computation, 4(5), 811-855.
van Benthem, J. F. A. K. (1994). General Dynamic Logic. In D. Gabbay (Ed.), What is a Logical System? (pp. 107-139). Oxford University Press.
van Benthem, J. F. A. K. (1994). A New World Underneath Standard Logic. In L. Schrijvers, K. Apt, & N. Temme (Eds.), From Universal Morphisms to Megabytes: A Baayen Space Odyssey (pp. 179-186). CWI.
Kanazawa, M. (1994). Learnable Classes of Categorial Grammars. [Thesis, internally prepared, Stanford University].
Prijatelj, A. (1994). Investigating Bounded Contraction. [Thesis, fully internal, Universiteit van Amsterdam].
Jaspers, J. (1994). Calculi for Constructive Communication. [Thesis, internally prepared, Universiteit Tilburg].
de Rijke, M. (1993). Extending modal logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (1991). Language in Action. Categories, Lambdas and Dynamic Logic. (Studies in Logic and the Foundations of Mathematics; No. 130). Elsevier.
van Benthem, J. F. A. K., Groenendijk, J. A. G., de Jongh, D. H. J., Stokhof, M. J. B., & Verkuyl, H. J. (1991). Logic, language and meaning: Vol. I: Introduction to logic. University of Chicago Press.