Aiello, M., & van Benthem, J. F. A. K. (2001). A Modal Walk Through Space. (Technical Reports; No. PP-2001-23). Institute for Logic, Language and Computation.
Ó Nualláin, B. S., Marx, M. J., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings SAT 2001
van Benthem, J. F. A. K. (2001). Logics for information update. In J. van Benthem (Ed.), Proceedings TARK VIII (pp. 51-88). Morgan Kaufmann.
van Benthem, J. F. A. K. (2001). Preface of the general chair. In C. Bettini, & A. Montanari (Eds.), Proceedings TIME 2001 (pp. ix). IEEE Computer Society.
van Benthem, J. F. A. K. (2001). Games in dynamic epistemic logic. Bulletin of Economic Research, 53(4), 219-248.
Ó Nualláin, B. S., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT research behaviour. In Proceedings of BNAIC 2001 (pp. 423-424).
van Benthem, J. F. A. K. (2001). Correspondence Theory. In Handbook of Philosophical Logic (second revised edition) (pp. 325-408). Kluwer.
van Benthem, J. F. A. K. (2001). Modal logic in two gestalts. In H. Wansing, M. Zakharyashev, & M. de Rijke (Eds.), Advances in Modal Logic Modal logic, vol. II (pp. 73-100). CSLI Publications.
van Benthem, J. F. A. K., & Doets, H. C. (2001). Higher-Order Logic. In Handbook of Philosophical Logic (second revised edition) (pp. 1879-243). Kluwer.
van Benthem, J. F. A. K. (2001). Interdisciplinariteit en monogamie. newsletter Instituut I2O, February.