van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S. (2017) A propositional dynamic logic for instantial neighborhood models.

In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 137-150) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.

van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S. (2019) A propositional dynamic logic for instantial neighbourhood semantics.

Studia Logica, Vol. 107 (pp 719-751)

Article | https://doi.org/10.1007/s11225-018-9825-5 | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S. (2019) A new game equivalence, its logic and algebra.

Journal of Philosophical Logic, Vol. 48 (pp 649-684)

Article | https://doi.org/10.1007/s10992-018-9489-7 | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N., Hodkinson, I. (2012) Sahlqvist correspondence for modal mu-calculus.

Studia Logica, Vol. 100 (pp 31-60)

Article | https://doi.org/10.1007/s11225-012-9388-9 | UvA-DARE

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