Johan van Benthem
contemporaryMathematical Logic / Dynamic Epistemic Logicb. 1949
Johan van Benthem (born 1949) is a Dutch logician and philosopher at the University of Amsterdam and Stanford University, widely regarded as one of the leading figures in modal logic and its applications. He has been instrumental in developing dynamic epistemic logic and the formal logical analysis of games, information, and rational agency.
Notable Achievements
1
Developed core frameworks in dynamic epistemic logic, formalizing how knowledge and belief change under informational events
2
Authored 'Logic in Games' (2014), establishing rigorous logical foundations for game-theoretic reasoning
3
Extended modal logic to cover temporal, epistemic, and deontic reasoning across diverse domains
4
Contributed to the formal reconciliation of epistemic logic approaches in debates such as Aumann vs. Stalnaker on backward induction
5
Co-founded and shaped the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam