van Benthem, J. F. A. K., Bezhanishvili, G., ten Cate, B. D., & Sarenac, D. (2004). Modal Logics for Products of Topologies. (Technical Reports; No. PP-2004-15). Institute for Logic, Language and Computation.
de Bruin, B. P. (2004). Explaining games : on the logic of game theoretic explanations. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
van Benthem, J. F. A. K., van Ditmarsch, H. P., Ketting, J., Lodder, J. S., & Meyer-Viol, W. P. M. (2003). Logica voor Informatica. (3e ed.) Pearson Addison Wesley.
van Benthem, J. F. A. K. (2003). Rational Dynamics and Epistemic in Logic Games. (Technical Reports; No. PP-2003-06). Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (2003). One is a Lonely Number: on the Logic of Communication. (Technical Reports; No. PP-2003-07). Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (2003). Categorial Grammar at a Cross-Roads. (Technical Reports; No. PP-2003-08). Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (2003). Conditional Probability and Update Logic. (Technical Reports; No. PP-2003-09). Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (2003). Structural Properties of Dynamic Reasoning. (Technical Reports; No. PP-2003-02). Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (2003). Is There Still Logic in Bolzano's Key ? (Technical Reports; No. PP-2003-03). Institute for Logic, Language and Computation.
van Benthem, J. F. A. K. (2003). The Epistemic Logic of IF Games. (Technical Reports; No. PP-2003-04). Institute for Logic, Language and Computation.