van Benthem, J.F.A.K., ten Cate, B., Väänänen, J. (2009) Lindström theorems for fragments of first-order logic.

Logical Methods in Computer Science, Vol. 5

Article | https://doi.org/10.2168/LMCS-5(3:3)2009 | UvA-DARE

van Benthem, J.F.A.K., ter Meulen, A. (2011) Handbook of logic and language.

Elsevier.

Book (Editorship) | https://doi.org/10.1016/C2010-0-65666-5 | UvA-DARE

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) 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. (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. (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) A New World Underneath Standard Logic.

In Schrijvers, L. Apt, K. Temme, N. (Eds.), From Universal Morphisms to Megabytes: A Baayen Space Odyssey (pp 179-186). CWI.

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.