van Benthem, J.F.A.K., Gupta, A., Pacuit, E. (2011) Games, norms and reasons: logic at the crossroads.

Synthese library. Springer.

Book (Editorship) | https://doi.org/10.1007/978-94-007-0714-6 | UvA-DARE

van Benthem, J.F.A.K., Gupta, A., Parikh, R. (2011) Proof, computation and agency: logic at the crossroads.

Synthese library. Springer.

Book (Editorship) | https://doi.org/10.1007/978-94-007-0080-2 | 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., Heinzmann, Gerhard (2024) Evert Willem Beth.

Filosofie-tijdschrift, Vol. 34 (pp 54–59)

Article | https://gompel-svacina.eu/product/filosofie-tijdschrift-jrg-34-nr-3/ | UvA-DARE

van Benthem, J.F.A.K., Hendricks, V.F., Symons, J. (2008) Editorial.

Synthese, Vol. 160 (pp 1-4)

Article | https://doi.org/10.1007/s11229-007-9274-6 | UvA-DARE

van Benthem, J.F.A.K., Hodges, H., Hodges, W. (2007) Introduction.

Topoi, Vol. 26 (pp 1-2)

Article | https://doi.org/10.1007/s11245-006-9006-4 | UvA-DARE

van Benthem, J.F.A.K., Icard, T. (2023) Interleaving logic and counting.

Bulletin of Symbolic Logic, Vol. 29 (pp 503-587)

Article | https://doi.org/10.1017/bsl.2023.30 | UvA-DARE

van Benthem, J.F.A.K., Icard, T.F. (2021) Interleaving Logic and Counting: A view from the bottom.

Abstract | UvA-DARE

van Benthem, J.F.A.K., 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.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., Klein, D. (2019) Logics for Analyzing Games.

Stanford Encyclopedia of Philosophy, Vol. 2019

Article | https://plato.stanford.edu/archives/spr2019/entries/logics-for-games/ | 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.

van Benthem, J.F.A.K., 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)

Article | https://doi.org/10.1007/s11229-010-9774-7 | UvA-DARE

van Benthem, J.F.A.K., Li, L., Shi, C., Yin, H. (2023) Hybrid sabotage modal logic.

Journal of Logic and Computation, Vol. 33 (pp 1216-1242)

Article | https://doi.org/10.1093/LOGCOM/EXAC006 | UvA-DARE

van Benthem, J.F.A.K., 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.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

van Benthem, J.F.A.K., Liu, F. (2005) Dynamic Logic of Preference Upgrade.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Liu, F. (2007) Dynamic Logic of Preference Upgrade.

Journal of Applied Non-Classical Logics, Vol. 17 (pp 157-182)

Article | UvA-DARE

van Benthem, J.F.A.K., 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