de Haas, E. (1994). Categorial Graphs: The Logic. In A. Nieuwendijk (Ed.), Proceedings Accolade 94 (pp. 103-119). ILLC.
Zambella, D. (1994). Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing I\Delta_0+ exp. Notre Dame Journal of Formal Logic, 35, 147-157.
Huang, Z., & van Emde Boas, P. (1994). Information acquisition from multi-agent resources. In R. Fagin (Ed.), Theoretical aspects of reasoning about knowledge V (pp. 65-79). Morgan Kaufmann.
van Benthem, J. F. A. K. (1994). The Landscape of Deductio. In P. Schroder-Heister, & K. Dosen (Eds.), Substructural Logics (pp. 357-376). Clarendon Press.
van Benthem, J. F. A. K. (1994). Dynamic Arrow Logic. In A. Visser, & J. van Eyck (Eds.), Logic and Information Flow (pp. 15-29). MIT Press.
ten Thije, J. D., & Koole, T. (1994). Besluitvorming als plannen maken. Een voorstel voor een discours-analytische benadering. In A. Maes (Ed.), Perspectieven in taalbeheersingsonderzoek (pp. 280-290). Floris.
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.