van Benthem, J.F.A.K., Bergstra, J.A. (1995) Logic of Transition Systems.

Journal of Logic, Language and Information, Vol. 3 (pp 247-283)

Article | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, G., Gehrke, M. (2002) Euclidean Hierarchy in Modal Logic.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, G., ten Cate, B., Sarenac, D. (2004) Modal Logics for Products of Topologies.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, G., ten Cate, B., Sarenac, D. (2006) Multimodal Logics of Products of Topologies.

Studia Logica, Vol. 84 (pp 369-392)

Article | https://doi.org/10.1007/s11225-006-9013-x | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, G. (2007) Modal Logics of Space.

In van Benthem, J.F.A.K. Aiello, M. Pratt-Hartmann, I.E. (Eds.), Handbook of Spatial Logics (pp 217-298). Springer.

van Benthem, J.F.A.K., Bezhanishvili, N., Aiello, M. (2001) Reasoning about space: the modal way.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Bezhanishvili, N., Enqvist, S., Yu, J. (2017) Instantial neighbourhood logic.

Review of Symbolic Logic, Vol. 10 (pp 116-144)

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

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. (2017) A new game equivalence and its modal logic.

Electronic Proceedings in Theoretical Computer Science, Vol. 251 (pp 57-74)

Article | https://doi.org/10.4204/EPTCS.251.5 | UvA-DARE

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