van Benthem, J.F.A.K., Bezhanishvili, N., Holliday, W.H. (2017) A bimodal perspective on possibility semantics.

Journal of Logic and Computation, Vol. 27 (pp 1353-1389)

Article | https://doi.org/10.1093/logcom/exw024 | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N. (2023) Modern Faces of Filtration.

In Faroldi, F.L.G. Van De Putte, F. (Eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic (pp 23-61) (Outstanding Contributions to Logic, Vol. 26). Springer.

van Benthem, J.F.A.K., Bezhanishvili, N. (2024) Modal structures in groups and vector spaces.

Journal of Logic and Computation, Vol. 34 (pp 75-124)

Article | https://doi.org/10.1093/logcom/exac105 | UvA-DARE

van Benthem, J.F.A.K., Bonnay, D. (2008) Modal logic and invariance.

Journal of Applied Non-Classical Logics, Vol. 18 (pp 153-173)

Article | https://doi.org/10.3166/jancl.18.153­-173 | 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)

Article | https://doi.org/10.1093/logcom/7.2.251 | UvA-DARE

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. (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)

Article | http://www.nieuwarchief.nl/serie5/pdf/naw5-2019-20-3-225.pdf | UvA-DARE

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.J.E., 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