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.
Prijatelj, A. (1994). Investigating Bounded Contraction. [Thesis, fully internal, Universiteit van Amsterdam].
Jaspers, J. (1994). Calculi for Constructive Communication. [Thesis, internally prepared, Universiteit Tilburg].
Kanazawa, M. (1994). Learnable Classes of Categorial Grammars. [Thesis, internally prepared, Stanford University].
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., van Ditmarsch, H. P., Ketting, J., & Meyer-Viol, W. P. M. (1991). Logica voor Informatici. Addison Wesley Educational Publishers.
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. II: Intensional logic and logical grammar. University of Chicago Press.