van Benthem, J.F.A.K., Dégremont, C. (2010) Bridges between dynamic doxastic and doxastic temporal logics.

In Bonanno, G. Löwe, B. van der Hoek, W. (Eds.), Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers (pp 151-173) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI publications on logic, language and information, Vol. 6006). Springer.

van Benthem, J.F.A.K., Dekker, P., van Eijck, J., de Rijke, M., Venema, Y. (2001) Logic in Action.

ILLC, University of Amsterdam.

Book | UvA-DARE

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.

van Benthem, J.F.A.K., Fernández-Duque, D., Pacuit, E. (2012) Evidence Logic: A New Look at Neighborhood Structures.

In Bolander, T. Braüner, T. Ghilardi, S. Moss, L. (Eds.), Advances in Modal Logic: AiML 9 (pp 97-118). College Publications.

van Benthem, J.F.A.K., Fernández-Duque, D., Pacuit, E. (2014) Evidence and Plausibility in Neighborhood Structures.

Annals of Pure and Applied Logic, Vol. 165 (pp 106-133)

Article | https://doi.org/10.1016/j.apal.2013.07.007 | UvA-DARE

van Benthem, J.F.A.K., Gabbay, D., Löwe, B. (2007) Interactive logic: selected papers from the 7th Augustus de Morgan workshop, London.

Texts in logic and games. Amsterdam University Press.

Book (Editorship) | UvA-DARE

van Benthem, J.F.A.K., Gerbrandy, J., Hoshi, T., Pacuit, E. (2009) Merging frameworks for interaction.

Journal of Philosophical Logic, Vol. 38 (pp 491-521)

Article | https://doi.org/10.1007/s10992-008-9099-x | UvA-DARE

van Benthem, J.F.A.K., Gerbrandy, J., Kooi, B. (2009) Dynamic update with probabilities.

Studia Logica, Vol. 93 (pp 67-96)

Article | https://doi.org/10.1007/s11225-009-9209-y | 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.

van Benthem, J.F.A.K., Gheerbrant, A. (2010) Game solution, epistemic dynamics and fixed-point logics.

Fundamenta Informaticae, Vol. 100 (pp 19-41)

Article | https://doi.org/10.3233/FI-2010-261 | 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.

van Benthem, J.F.A.K., Ghosh, S., Verbrugge, R. (2015) Models of Strategic Reasoning: Logics, Games, and Communities.

Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 8972. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-662-48540-8 | UvA-DARE

van Benthem, J.F.A.K., Girard, P., Roy, O. (2009) Everything else being equal: A modal logic for ceteris paribus preferences.

Journal of Philosophical Logic, Vol. 38 (pp 83-125)

Article | https://doi.org/10.1007/s10992-008-9085-3 | UvA-DARE

van Benthem, J.F.A.K., Groenendijk, J.A.G., de Jongh, D., Stokhof, M., 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., Stokhof, M., 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., Stokhof, M., 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., Stokhof, M., 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., Stokhof, M., 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., Grossi, D., Liu, F. (2010) Deontics = Betterness + Priority.

In Governatori, G. Sartor, G. (Eds.), Deontic Logic in Computer Science: 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings (pp 50-65) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 6181). Springer.

van Benthem, J.F.A.K., Grossi, D., Liu, F. (2014) Priority Structures in Deontic Logic.

Theoria, Vol. 80 (pp 116-152)

Article | https://doi.org/10.1111/theo.12028 | UvA-DARE