van Benthem, J.F.A.K., van den Broek, E. (2008) De keuze van Johan van Benthem.

De Academische Boekengids, Vol. 67

Article | http://www.academischeboekengids.nl/do.php?a=show_visitor_artikel&id=694 | UvA-DARE

van Benthem, J.F.A.K., van Ditmarsch, H., van Eijck, J., Jaspars, J. (2016) Logic in Action.

Logic in Action.

Book | http://logicinaction.org/ | UvA-DARE

van Benthem, J.F.A.K., van Ditmarsch, H., van Eijck, J. (2009) Logica in actie.

Academic Service.

Book | UvA-DARE

van Benthem, J.F.A.K., van Eijck, J., Gattinger, M., Su, K. (2015) Symbolic Model Checking for Dynamic Epistemic Logic.

In van der Hoek, W. Holliday, W.H. Wang, W.-F. (Eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings (pp 366-378) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 9394). Springer.

van Benthem, J.F.A.K., van Eijck, J., Gattinger, M., Su, K. (2018) Symbolic Model Checking for Dynamic Epistemic Logic – S5 and Beyond.

Journal of Logic and Computation, Vol. 28 (pp 367-402)

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

van Benthem, J.F.A.K., van Eijck, J., Kooi, B. (2005) Logics of Communication and Change.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., van Eijck, J., Kooi, B. (2005) Common Knowledge in Update Logics.

In R. van der Meyden (Eds.), Proceedings TARK 10 (pp 253-261)

van Benthem, J.F.A.K., van Eijck, J., Kooi, B. (2006) Logics of Communication and Change.

Information and Computation, Vol. 204 (pp 1620-1662)

Article | https://doi.org/10.1016/j.ic.2006.04.006 | UvA-DARE

van Benthem, J.F.A.K., van Eyck, J., Stebletsova, V. (1994) Modal Logic, Transition Systems and Processes.

Journal of Logic and Computation, Vol. 4 (pp 811-855)

Article | UvA-DARE

van Benthem, J.F.A.K., van Otterloo, S.G., Roy, O. (2005) Preference logic, conditionals and solution concepts in games.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., van Otterloo, S.G., Roy, O. (2006) Preference Logic, Conditionals, and Solution Concepts in Games.

In Lagerlund, H. Lindstrom, S. Sliwinski, R. (Eds.), Modality Matters (pp 61-76). University of Uppsala.

van Benthem, J.F.A.K., van Rooy, R.A.M. (2003) Connecting the different faces of information.

Journal of Logic, Language and Information, Vol. 12 (pp 1-4)

Article | UvA-DARE

van Benthem, J.F.A.K., van Ulsen, P., Visser, H. (2008) Logic and Scientific Philosophy: An E.W. Beth Centenary Celebration.

Evert Willem Beth Foundation.

Book (Editorship) | UvA-DARE

van Benthem, J.F.A.K., Velázquez-Quesada, F.R. (2010) The dynamics of awareness.

Synthese, Vol. 177 (pp 5-27)

Article | https://doi.org/10.1007/s11229-010-9764-9 | UvA-DARE

van Benthem, J.F.A.K., Westerståhl, D. (1995) Directions in Generalized Quantifier Theory.

Studia Logica, Vol. 55 (pp 389-419)

Article | UvA-DARE

van Benthem, J.F.A.K., Westerståhl, D. (2021) Generalized Quantifiers Meet Modal Neighborhood Semantics.

In Madarász, J. Székely, G. (Eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic (pp 187-207) (Outstanding Contributions to Logic, Vol. 19). Springer.

van Benthem, J.F.A.K. (1994) The Landscape of Deductio.

In Schroder-Heister, P. Dosen, K. (Eds.), Substructural Logics (pp 357-376). Clarendon Press.

van Benthem, J.F.A.K. (1994) Dynamic Arrow Logic.

In Visser, A. van Eyck, J. (Eds.), Logic and Information Flow (pp 15-29). MIT Press.

van Benthem, J.F.A.K. (1994) Logica in Veelvoud.

RADAR (pp 364-373)

Meeting Abstract | UvA-DARE

van Benthem, J.F.A.K. (1994) General Dynamic Logic.

In Gabbay, D. (Eds.), What is a Logical System? (pp 107-139). Oxford University Press.