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)
van Benthem, J. F. A. K. (2002). Chapter Modal Logic. In A Companion to Philosophical Logic (pp. 391-409). Blackwell.
Aiello, M., & van Benthem, J. F. A. K. (2002). Logical Patterns in Space. In J. F. A. K. van Benthem, P. Scotto di Luzio, D. Barker-Plummer, & D. I. Beaver (Eds.), Words, Proofs, and Diagrams (pp. 5-25). CSLI Publications.
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. (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. (2002). Action and Procedure in Reasoning. In The Dynamics of Judicial Proof (pp. 243-259). Physica Verlag.
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. (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
