van Benthem
contemporaryFormal 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 a founder of dynamic epistemic logic. His work unifies logic, game theory, and information theory, examining how knowledge and belief evolve through action and communication. He has fundamentally shaped the study of modal logic, arrow logic, and the logical foundations of rational agency.
Notable Achievements
1
Co-founded dynamic epistemic logic (DEL), a framework for reasoning about knowledge change through communication and action
2
Developed game logic and the logical analysis of strategic rationality in sequential and concurrent games
3
Pioneered arrow logic and the algebraic semantics of relational reasoning
4
Authored foundational texts including Logic in Games and Modal Logic for Open Minds
5
Bridged formal logic with cognitive science, linguistics, and computer science through the logic of information flow