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
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.
van Benthem, J., Dekker, P., van Eijck, J., de Rijke, M., & Venema, Y. (2001). Logic in Action. ILLC, University of Amsterdam.
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).