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). Action and Procedure in Reasoning. In The Dynamics of Judicial Proof (pp. 243-259). Physica Verlag.
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., Bezhanishvili, G., & Gehrke, M. (2002). Euclidean Hierarchy in Modal Logic. (Technical Reports; No. PP-2002-07). 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.
Aiello, M. (2002). Spatial reasoning : theory and practice. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
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.
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).
