| 2024 | SEFM | Logics for Dynamic Graph Games. | Johan van Benthem |
| 2022 | AiML | Local Dependence and Guarding. | Balder ten Cate, Raoul Koudijs, Johan van Benthem |
| 2012 | AiML | Foundational Issues in Logical Dynamics. | Johan van Benthem |
| 2012 | AiML | Evidence Logic: A New Look at Neighborhood Structures. | Johan van Benthem, David Fernndez-Duque, Eric Pacuit |
| 2011 | TARK | Exploring a theory of play. | Johan van Benthem |
| 2010 | CADE | Logic between Expressivity and Complexity. | Johan van Benthem |
| 2007 | LICS | Lindstrom theorems for fragments of first-order logic. | Balder ten Cate, Johan van Benthem, Jouko A. Vnnen |
| 2007 | TARK | Merging frameworks for interaction: DEL and ETL. | Johan van Benthem, Jelle Gerbrandy, Eric Pacuit |
| 2006 | AiML | The Tree of Knowledge in Action: Towards a Common Perspective. | Johan van Benthem, Eric Pacuit |
| 2005 | TARK | Common knowledge in update logics. | Johan van Benthem, Jan van Eijck, Barteld P. Kooi |
| 2000 | JELIA | 'On Being Informed': Update Logics for Knowledge States. | Johan van Benthem |
| 1998 | LICS | Process Operations in Extended Dynamic Logics. | Johan van Benthem |
| 1993 | IJCAI | The Logic of Cognitive Action. | Johan van Benthem |
| 1992 | TARK | Epistemic Logic: From Knowledge to Cognition. | Johan van Benthem |