Searchable List of Research Output

Filter Publications
  • 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
  • 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.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2006) The Epistemic Logic of IF Games.
    In Auxier, R. Hahn, L. (Eds.), The Philosophy of Jaakko Hintikka (pp 481-513) (Schilpp Series). Open Court Publishers.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2006) A New Modal Lindström Theorem.
    In Lagerlund, H. Lindstrom, S. Sliwinski, R. (Eds.), Modality Matters (pp 55-60). University of Uppsala.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2006) Logical Construction Games. Acta Philosophica Fennica 78.
    In Aho, T. Pietarinen, A.V. (Eds.), Truth and Games, essays in honour of Gabriel Sandu (pp 123-138). University of Uppsala.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2006) Alternative Logics and Classical Concerns.
    In van Benthem, J. Heinzmann, G. Rebuschi, M. Visser, H. (Eds.), The Age of Alternative Logics (pp 1-7). Springer.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (2006) Epistemic Logic and Epistemology: the state of their affairs.
    Philosophical Studies, Vol. 128 (pp 49-76)

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