Searchable List of Research Output

Filter Publications
  • van Benthem, J. Gupta, A. Pacuit, E. (2011) Games, norms and reasons: logic at the crossroads.
    Synthese library. Springer.
  • van Benthem, J. Gupta, A. Parikh, R. (2011) Proof, computation and agency: logic at the crossroads.
    Synthese library. Springer.
  • van Benthem, J. Hendricks, V.F. Symons, J. (2008) Editorial.
    Synthese, Vol. 160 (pp 1-4)
  • van Benthem, J. Icard, T. (2021) Interleaving Logic and Counting: A view from the bottom.
    Abstract | UvA-DARE
  • van Benthem, J. Ikegami, D. (2008) Modal fixed-point logic and changing models.
    In Avron, A. Dershowitz, N. Rabinovich, A. (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (pp 146-165) (Lecture notes in computer science). Springer.
  • van Benthem, J. Klein, D. (2019) Logics for Analyzing Games.
    Stanford Encyclopedia of Philosophy, Vol. 2019
  • van Benthem, J. Kuipers, T. Visser, H. (2011) Introduction to ‘Logic and philosophy of science: in the footsteps of E.W. Beth’.
    Synthese, Vol. 179 (pp 203-206)
  • van Benthem, J. Li, L. Shi, C. Yin, H. (2023) Hybrid sabotage modal logic.
    Journal of Logic and Computation, Vol. 33 (pp 1216-1242)
  • van Benthem, J. Liu, F (2020) New Logical Perspectives on Monotonicity.
    In Deng, D. Liu, F. Liu, M. Westerståhl, D. (Eds.), Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020 : proceedings (pp 1-12) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 12564). Springer.
  • van Benthem, J. Liu, F. Smets, S. (2021) Logico-Computational Aspects of Rationality.
    In Knauff, M. Spohn, W. (Eds.), The Handbook of Rationality (pp 185–196). The MIT Press.
  • van Benthem, J. Liu, F. (2013) Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013.
    Studies in logic, Vol. 47. College Publications.
    Book (Editorship) | UvA-DARE
  • van Benthem, J. Liu, F. (2014) Where is Logic Going?.
    Studies in Logic, Vol. 7 (pp 84-99)
  • van Benthem, J. Liu, F. (2014) Deontic Logic and Preference Change.
    The IfCoLog Journal of Logics and their Applications, Vol. 1 (pp 1-46)
  • Van Benthem, J. Liu, F. (2018) Deontic Logic and Changing Preferences.
    In Gabbay, D.M. Guenthner, F. (Eds.), Handbook of Philosophical Logic (pp 1-49). Springer.
  • van Benthem, J. Liu, F. (2020) Graph Games and Logic Design.
    In Liu, F. Ono, H. Yu, J. (Eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (pp 125-146) (Logic in Asia: Studia Logica Library). Springer.
  • van Benthem, J. Martinez, M. (2008) The stories of logic and information.
    In Adriaans, P. van Benthem, J. (Eds.), Philosophy of information (pp 217-280) (Handbook of the philosophy of science). North Holland.
  • van Benthem, J. Meyer, J.-J.C. Witteveen, C. Wooldridge, M. (2009) Wiebe Fest 2009: a workshop in honour of our friend and colleague Professor Wiebe van der Hoek on the occasion of his fiftieth birthday : 16 March 2009 - University of Liverpool.
    University of Liverpool, Department of Computer Science.
  • van Benthem, J. Mierzewski, K. Zaffora Blando, F. (2022) The Modal Logic of Stepwise Removal.
    Review of Symbolic Logic, Vol. 15 (pp 36-63)
  • van Benthem, J. Minică, Ş. (2009) Toward a dynamic logic of questions.
    In He, X. Horty, J. Pacuit, E. (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp 27-41) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 5834). Springer.
  • van Benthem, J. Minică, Ş. (2012) Toward a dynamic logic of questions.
    Journal of Philosophical Logic, Vol. 41 (pp 633-669)

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