Searchable List of Research Output

Filter Publications
  • van Benthem, J. (2017) Against All Odds: When Logic Meets Probability.
    In Katoen, J.-P. Langerak, R. Rensink, A. (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (pp 239-253) (Lecture Notes in Computer Science, Vol. 10500). Springer.
  • van Benthem, J. (2017) Logic in Play.
    In Leitgeb, H. Niiniluoto, I. Seppälä, P. Sober, E. (Eds.), Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth International Congress (Helsinki) : models and modelling (pp 3-39). College Publications.
    Conference contribution | UvA-DARE
  • van Benthem, J. (2017) Talking About Knowledge.
    In Başkent, C. Moss, L.S. Ramanujam, R. (Eds.), Rohit Parikh on Logic, Language and Society (pp 121-143) (Outstanding Contributions to Logic, Vol. 11). Springer.
  • van Benthem, J. (2017) An Old Discipline with a New Twist: The Course “Logic in Action”.
    The IfCoLog Journal of Logics and their Applications, Vol. 4 (pp 33-53)
  • van Benthem, J. (2017) Bunebrivi logika: 1980-iani wlebis kvlevebi. Translated title of the contribution: Natural Logic: The Investigations of the 1980s Georgian language survey
    Ena Logika Kompiuterizac'ia, Vol. 5 (pp 55-84)
  • van Benthem, J. (2018) Computation as social agency: What, how and who.
    Information and Computation, Vol. 261 (pp 519-535)
  • 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

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