Searchable List of Research Output

Filter Publications
  • van Benthem, J. (2018) Constructive agents.
    Indagationes Mathematicae, Vol. 29 (pp 23-35)
  • van Benthem, J. (2019) Implicit and Explicit Stances in Logic.
    Journal of Philosophical Logic, Vol. 48 (pp 571-601)
  • van Benthem, J. (2019) Vistas from a Drop of Water.
    In Alonso, E. Huertas, A. Moldovan, A. (Eds.), Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano (pp 59-74) (Cuadernos de lógica, Epistemología y Lenguaje, Vol. 13). College Publications.
    Chapter | UvA-DARE
  • van Benthem, J. (2020) Lof der onmogelijkheid.
    Wijsgerig Perspectief, Vol. 60 (pp 47)
    Article | UvA-DARE
  • van Benthem, J. (2021) Semantic Perspectives in Logic.
    In Sagi, G. Woods, J. (Eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning (pp 117-141). Cambridge University Press.
  • van Benthem, J. (2022) Close encounters with the Van Lambalgen world.
    In Stenning, K. Stokhof, M. (Eds.), Rules, Regularities, Randomness: Festschrift for Michiel van Lambalgen (pp 23-34). Institute for Logic, Language and Computation, University of Amsterdam.
  • van Benthem, J. (2023) The Logic of Conditionals on Outback Trails.
    Logic Journal of the IGPL, Vol. 31 (pp 1135–1152)
  • van Benthem, J.F.A.K. Aiello, M. Pratt-Hartmann, I. (2007) What is Spatial Logic?.
    In Aiello, M. Pratt-Hartmann, I. van Benthem, J. (Eds.), Handbook of Spatial Logics. Springer.
  • van Benthem, J.F.A.K. Alyeshina, N. (1997) Modal quantification over structured domains.
    In de Rijke, M. (Eds.), Advances in Intensional Logic, Applied Logic Series 7 (pp 1-28). Kluwer.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. Andreka, H. Nemeti, I. (1995) Submodel Preservation Theorems in Finite-Variable Fragments.
    In de Rijke, M. Ponse, A. Venema, Y. (Eds.), Modal Logic and Process Algebra, CSLI Lecture Notes. University Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. Anger, F. Rodriguez, R. Guesgen, H. (1996) Space, Time and Computation: Trends and Problems, editorial for special issue on Spatial and Temporal Reasoning.
    Applied Intelligence, Vol. 6 (pp 5-9)
  • van Benthem, J.F.A.K. Bergstra, J.A. (1995) Logic of Transition Systems.
    Journal of Logic, Language and Information, Vol. 3 (pp 247-283)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. Bezhanishvili, G. Gehrke, M. (2002) Euclidean Hierarchy in Modal Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. Bezhanishvili, G. ten Cate, B.D. Sarenac, D. (2004) Modal Logics for Products of Topologies.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • 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)

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