Searchable List of Research Output

Filter Publications
  • van Benthem, J.F.A.K. Bezhanishvili, G. (2007) Modal Logics of Space.
    In van Benthem, J.F.A.K. Aiello, M. Pratt-Hartmann, I.E. (Eds.), Handbook of Spatial Logics (pp 217-298). Springer.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. Bezhanishvili, N. Aiello, M. (2001) Reasoning about space: the modal way.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. d' Agostino, GIOVANNA Montanari, A. Policriti, A (1995) Modal Deduction in Second-Order Logic and Set Theory.
    Technical Report. onbekend (FdL).
    Report | UvA-DARE
  • van Benthem, J.F.A.K. d' Agostino, GIOVANNA Policriti, A (1997) Modal deduction in second-order logic and set theory. part i.
    Journal of Logic and Computation, Vol. 7 (pp 251-265)
  • van Benthem, J.F.A.K. Dalla Chiara, M. Doets, H.C. Mundici, D. (1996) Proceedings 10th International Congress on Logic, Methodology and Philosophy of Science. Florence 1995; Two volumes ("Logic and Scientific Methods", "Structures and Norms in Science").
    Kluwer Academic Publishers.
    Book (Editorship) | UvA-DARE
  • van Benthem, J.F.A.K. de Jongh, D.H.J. (2019) In Memoriam Anne Sjerp Troelstra (1939–2019): Creating order in a vast and diverse area.
    Nieuw Archief voor Wiskunde, Vol. 21 (pp 225-227)
  • van Benthem, J.F.A.K. Doets, H.C. (2001) Higher-Order Logic.
    In Handbook of Philosophical Logic (second revised edition) (pp 1879-243). Kluwer.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. Gerbrandy, J.D. Pacuit, E.J. (2007) Merging Frameworks for Interaction: DEL and ETL.
    In Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK XI) (pp 72-81). ACM DL.
    Conference contribution | UvA-DARE
  • van Benthem, J.F.A.K. Ghosh, S. Liu, F. (2007) Modelling Simultaneous games with Concurrent Dynamic logic.
    In van Benthem, J. Ju, S. Veltman, F. (Eds.), A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction (LORI) (pp 243-258). Texts in Computing Science, College Publications.
    Conference contribution | UvA-DARE
  • van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H. (2002) Introducción a la Lógica.
    Eudeba.
    Book | UvA-DARE
  • van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H.J. (1982) Logica, taal en betekenis. I: Inleiding in de logica.
    Aula paperback. Het Spectrum.
    Book | UvA-DARE
  • van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H.J. (1982) Logica, taal en betekenis. II: Intensionele logica en logische grammatica.
    Aula paperback. Het Spectrum.
    Book | UvA-DARE
  • van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H.J. (1991) Logic, language and meaning: Vol. II: Intensional logic and logical grammar.
    University of Chicago Press.
    Book | UvA-DARE
  • van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H.J. (1991) Logic, language and meaning: Vol. I: Introduction to logic.
    University of Chicago Press.
    Book | UvA-DARE
  • van Benthem, J.F.A.K. Heinzmann, G. Rebuschi, M. (2005) The Age of Alternative Logics.
    Kluwer-Springer.
    Book (Editorship) | UvA-DARE
  • van Benthem, J.F.A.K. Hodges, H. Hodges, W. (2007) Introduction.
    Topoi, Vol. 26 (pp 1-2)
  • van Benthem, J.F.A.K. Israel, D. (1999) Review of Barwise & Seligman "Information Flow".
    Journal of Logic, Language and Information, Vol. 8 (pp 390-397)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. Kooi, B. (2004) Reduction Axioms for Epistemic Actions.
    In Schmidt, R. Pratt-Hartmann, I. Reynolds, M. Wansing, H. (Eds.), Proceedings Advances in Model Logic 2004 (pp 197-211). Department of Computer Science, University of Manchester.
    Conference contribution | UvA-DARE
  • van Benthem, J.F.A.K. Liu, F. (2004) Diversity of Logical Agents in Games.
    Philosophiae Scientiae, Vol. 8 (pp 163-178)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. Liu, F. (2004) Diversity of Logical Agents in Games.
    Tech. Report ILLC PP. Institute for Logic, Language and Computation.
    Working paper | 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