Searchable List of Research Output

Filter Publications
  • van Benthem, J.F.A.K. (2005) Guards, Bounds and Generalized Semantics.
    Journal of Logic, Language and Information, Vol. 14 (pp 263-279)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (2005) Cognition as Interaction.
    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.
    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.
    Chapter | UvA-DARE
  • 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) 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.
    Chapter | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • 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.
    Conference contribution | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2006) Logic in Philosophy.
    In Jacquette, D. (Eds.), Handbook of the Philosophy of Logic. Elsevier.
    Chapter | UvA-DARE

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact