van Benthem & Pacuit
contemporaryDynamic Epistemic Logic, Formal EpistemologyJohan van Benthem and Eric Pacuit are logicians who have collaborated extensively on dynamic epistemic logic and its applications to game theory. Van Benthem (b. 1949) is a central figure in modal and dynamic logic at the University of Amsterdam and Stanford University; Pacuit is a philosopher-logician at the University of Maryland specializing in formal epistemology, epistemic game theory, and social choice. Their joint work advances formal models of how rational agents update beliefs and reason strategically under uncertainty.
Notable Achievements
1
Developed formal models of plausibility update and belief revision in sequential games during actual play
2
Distinguished epistemic states arising from actual game play versus counterfactual reasoning
3
Advanced the application of dynamic epistemic logic to game-theoretic rationality
4
Contributed to the modal logic foundations of epistemic game theory
5
Bridged formal logic, epistemology, and economic game theory through collaborative research