van Benthem, J.F.A.K., Pacuit, E. (2014) Connecting Logics of Choice and Change.

In Müller, T. (Eds.), Nuel Belnap on indeterminism and free action (pp 291-314) (Outstanding contributions to logic, Vol. 2). Springer.

van Benthem, J.F.A.K., Sarenac, D. (2003) The Geometry of Knowledge.

In Béziau, J.-Y. Costa Leite, A. Facchini, A. (Eds.), Aspects of Universal Logic. Selected Papers . (pp 1-31). Université de Neuchâtel.

van Benthem, J.F.A.K., Sarenac, D. (2004) The Geometry of Knowledge.

Tech Report ILLC PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Scotto di Luzio, P., Barker-Plummer, D., Beaver, D.I. (2002) Words, Proofs and Diagrams.

CSLI Publications.

Book (Editorship) | UvA-DARE

van Benthem, J.F.A.K., Shier, J., Veltman, F. (2007) A Meeting of the Minds: proceedings LORI Workshop Beijing.

King's College Publications.

Book (Editorship) | UvA-DARE

van Benthem, J.F.A.K., Smets, S. (2012) New logical perspectives on physics.

Synthese, Vol. 186 (pp 615-617)

Editorial | https://doi.org/10.1007/s11229-011-9911-y | UvA-DARE

van Benthem, J.F.A.K., Smets, S. (2015) Dynamic Logics of Belief Change.

In van Ditmarsch, H. Halpern, J. van der Hoek, W. Kooi, B. (Eds.), Handbook of epistemic logic (pp 313-394). College Publications.

van Benthem, J.F.A.K., Stokhof, M. (2022) A Brief History of the Institute for Logic, Language and Computation: People, Ideas and Practices.

ILLC-Universiteit van Amsterdam.

Book | UvA-DARE

van Benthem, J.F.A.K., Stuart, Henry Waldgrave, Yuelin, Jin (2020) Lof der onmogelijkheid.

Bij Nader Inzien.

Web publication or website | https://bijnaderinzien.com/2020/05/27/lof-der-onmogelijkheid/ | UvA-DARE

van Benthem, J.F.A.K., ten Cate, B., Koudijs, R. (2022) Local Dependence and Guarding.

In Fernández-Duque, D. Palmigiano, A. Pinchinat, S. (Eds.), Advances in Modal Logic: AiML 14 (pp 135-154). College Publications.

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