van Benthem, J.F.A.K., Liu, F. (2020) Graph Games and Logic Design.

In Liu, F. Ono, H. Yu, J. (Eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (pp 125-146) (Logic in Asia: Studia Logica Library). Springer.

van Benthem, J.F.A.K., Martinez, M. (2008) The stories of logic and information.

In Adriaans, P. van Benthem, J. (Eds.), Philosophy of information (pp 217-280) (Handbook of the philosophy of science). North Holland.

van Benthem, J.F.A.K., Meyer, J.-J.C., Witteveen, C., Wooldridge, M. (2009) Wiebe Fest 2009: a workshop in honour of our friend and colleague Professor Wiebe van der Hoek on the occasion of his fiftieth birthday : 16 March 2009 - University of Liverpool.

University of Liverpool, Department of Computer Science.

Book (Editorship) | http://cgi.csc.liv.ac.uk/~kjc/wiebe-fest.pdf | UvA-DARE

van Benthem, J.F.A.K., Mierzewski, K., Zaffora Blando, F. (2022) The Modal Logic of Stepwise Removal.

Review of Symbolic Logic, Vol. 15 (pp 36-63)

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

van Benthem, J.F.A.K., Minică, Ş. (2009) Toward a dynamic logic of questions.

In He, X. Horty, J. Pacuit, E. (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp 27-41) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 5834). Springer.

van Benthem, J.F.A.K., Minică, Ş. (2012) Toward a dynamic logic of questions.

Journal of Philosophical Logic, Vol. 41 (pp 633-669)

Article | https://doi.org/10.1007/s10992-012-9233-7 | UvA-DARE

van Benthem, J.F.A.K., Moortgat, M. (2010) Joachim Lambek: The beauty of mathematics in language.

Linguistic Analysis, Vol. 36 (pp 5-14)

Article | http://www.linguisticanalysis.com/index.php?option=com_content&view=article&id=73&catid=50&Itemid=29 | UvA-DARE

van Benthem, J.F.A.K., Pacuit, E., Roy, O. (2011) Toward a theory of play: a logical perspective on games and interaction.

Games, Vol. 2 (pp 52-86)

Article | https://doi.org/10.3390/g2010052 | UvA-DARE

van Benthem, J.F.A.K., Pacuit, E. (2006) The Tree of Knowledge in Action: Towards a Common Perspective.

In Governatori, G. Hodkinson, I. Venema, Y. (Eds.), Advances in Modal Logic 6 (pp 87-106). College Publications.

van Benthem, J.F.A.K., Pacuit, E. (2010) Temporal Logics of Agency.

Journal of Logic, Language and Information, Vol. 19 (pp 389-393)

Comment/Letter to the editor | https://doi.org/10.1007/s10849-009-9120-y | UvA-DARE

van Benthem, J.F.A.K., Pacuit, E. (2011) Dynamic logic of evidence-based beliefs.

Studia Logica, Vol. 99 (pp 61-92)

Article | https://doi.org/10.1007/s11225-011-9347-x | UvA-DARE

van Benthem, J.F.A.K., Pacuit, E. (2011) Logical dynamics of evidence.

In van Ditmarsch, H. Lang, J. Ju, S. (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings (pp 1-27) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6953). Springer.

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