van Benthem, J. F. A. K. (2002). Extensive games as process models. Journal of Logic, Language and Information, 11, 289-313.
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.
Aiello, M. (2002). Spatial reasoning : theory and practice. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (2002). Mathematical Logic and Natural Language. In B. Löwe, W. Malzkorn, & T. Räsch (Eds.), Foundations of the Formal Sciences II (pp. 25-38). Kluwer Academic Publishers.
van Benthem, J. F. A. K. (2001). Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge. Morgan Kaufmann Publishers.
van Benthem, J. F. A. K. (2001). Logic in Games. IILC (Institute for Logic, Language and Computation).
O Nuallain, B., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings LICS 2001 Workshop on Theory and Applications of Satisfiability Testing
