van Benthem, J. F. A. K. (2003). Guards, Bounds and Generalized Semantics. (Technical Reports; No. PP-2005-07). Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (2003). A Note on Modeling Theories. (Technical Reports; No. PP-2003-01). Institute for Logic, Language and Computation.
van Benthem, J. F. A. K., Groenendijk, J. A. G., de Jongh, D. H. J., Stokhof, M. J. B., & Verkuyl, H. J. (2002). Introduccion a la lógica. Editorial Universitaria de Buenos Aires.
Barker-Plummer, D., Beaver, D., van Benthem, J. F. A. K., & Scotto di Luzio, P. (2002). Words, Proofs, and Diagrams. ((CSLI-LN) Center for the Study of Language and Information - Lecture Notes). Center for the Study of Language and Information (CSLI) Publications.
van Benthem, J. F. A. K., Groenendijk, J. A. G., de Jongh, D. H. J., Stokhof, M. J. B., & Verkuyl, H. (2002). Introducción a la Lógica. Eudeba.
van Benthem, J. F. A. K., Scotto di Luzio, P., Barker-Plummer, D., & Beaver, D. I. (2002). Words, Proofs and Diagrams. CSLI Publications.
van Benthem, J. F. A. K. (2002). De multidisciplinaire universiteit: losse gedachten van een zwerver. In B. de Reuver, & R. de Klerk (Eds.), Feestbundel Karel van Dam (pp. 65-71). SCO-Kohnstamm Instituut.
van Benthem, J. F. A. K. (2002). Science and Society in Flux. In P. A. J. Tindemans, A. A. Verrijn-Stuart, & R. P. W. Visser (Eds.), The Future of the Sciences and Humanities (pp. 63-90). Amsterdam University Press.
van Benthem, J. F. A. K. (2002). Logic in action, 5 jaar later. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 2, 146-150.
van Benthem, J. F. A. K. (2002). Invariance and Definability: two faces of logical constants. In Reflections on the Foundations of Mathematics. Essays in Honor of Sol Feferman (pp. 426-446)