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.
Alstein, D., Hoepman, J. H., Olivier, B. E., & van der Put, P. I. A. (1994). Self-Stabilizing Mutual Exclusion on Directed Graphs (extended abstract). In E. Backer (Ed.), Computing science in the Netherlands: proceedings: CSN 94 (pp. 42-53). Stichting Mathematisch Centrum.
Ambos-Spies, K., Terwijn, S. A., & Zheng, X. (1994). Resource bounded randomness and weakly complete problems. In X. S. Zhang, & D. Z. Du (Eds.), Algorithms and Computation (pp. 369-377). (Lecture Notes in Computer Science; No. 834). Springer Verlag.