van Benthem, J.F.A.K. (2005) An Essay on Sabotage and Obstruction.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. (2005) Epistemic Logic and Epistemology, the state of their affairs.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. (2005) Logic in Philosophy.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. (2005) Where is Logic Going, and Should It?.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. (2005) An Essay on Sabotage and Obstruction.

In Hutter, D. (Eds.), Mechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of his 69th Birthday (pp 268-276). Springer Verlag.

van Benthem, J.F.A.K. (2005) A Farewell to Loneliness: dynamic trends in logic-to-day.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. (2005) De Kunst van het Kennis Maken: De wetenschap van kennis en informatie.

BLIND : Interdisciplinair Tijdschrift, Vol. 3

Article | http://www.ziedaar.nl/article.php?id=204 | UvA-DARE

van Benthem, J.F.A.K. (2005) Echte versus Virtuele Realiteiten: de speelse logica van kaarten en vergaderen.

BRES Planète, Vol. 232 (pp 24-28)

Article | UvA-DARE

van Benthem, J.F.A.K. (2005) Formal Methods in Philosophy.

In Hendricks, V Symons, J. (Eds.), Formal Philosophy. Automatic Press.

van Benthem, J.F.A.K. (2005) Open Problems in Logic and Games.

In Artemov, S. Barringer, H. d' Avila Garcez, A. Lamb, L. Woods, J. (Eds.), Essays in Honour of Dov Gabbay (pp 229-264). King's College Publications.

van Benthem, J.F.A.K. (2005) Open Problems in Logical Dynamics.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. (2005) A Note on Modeling Theories.

In Festa, R. Aliseda, A. Peijnenburg, J. (Eds.), Poznan Studies in the Philosophy of the Sciences and the Humanities,Confirmation, Empirical Progress and Truth Approximation. Essays in (pp 403-419). Rodopi.

van Benthem, J.F.A.K. (2005) Modal Frame Correspondence Generalized.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. (2006) Five Questions on Philosophy of Mathematics.

In Hendricks, V., Leitgeb, H. (Eds.), Philosophy of Mathematics: 5 Questions. Automatic Press.

van Benthem, J.F.A.K. (2006) A Mini-Guide to Logic in Action, updated version.

In Stadler, F. Stöltzner, M. (Eds.), Time and History (pp 419-440). ontos verlag.

van Benthem, J.F.A.K. (2006) One is a Lonely Number: on the logic of communication.

In Koepke, P. Peters, A.K. (Eds.), Logic Colloquium '02 (pp 96-129). Wellesley MA.

van Benthem, J.F.A.K. (2006) Een Man uit Een Stuk.

In Mols, B. (Eds.), Liber AMicorum Professor Bob Hertzberger (pp 13-14). FNWI.

van Benthem, J.F.A.K. (2006) Verdriet en Vorm vanuit een Hoger Standpunt.

In Mols, B. (Eds.), Liber Amicorum for Sijbolt Noorda. Amsterdam University Press.

van Benthem, J.F.A.K. (2006) Logic in Philosophy.

In Jacquette, D. (Eds.), Handbook of the Philosophy of Logic. Elsevier.

van Benthem, J.F.A.K. (2006) Open Problems in Update Logic.

In Gabbay, D. Goncharov, S. Zakharyashev, M. (Eds.), Mathematical Problems from Applied Logic 1 (pp 137-192). Springer.