Olivier Roy is a contemporary philosopher working at the intersection of formal epistemology, dynamic epistemic logic, and game theory. His research investigates belief revision, rationality in sequential games, and the logical foundations of strategic reasoning. He has contributed to clarifying the technical and conceptual differences between competing formal models of rationality, particularly those of Robert Aumann and Robert Stalnaker.
Analyzed plausibility update semantics for sequential games and their interpretive consequences
Clarified the model-theoretic source of divergence between Aumann (1995) and Stalnaker (1998) on backward induction
Applied dynamic epistemic logic tools to questions of strategic rationality
Contributed to the formal study of belief revision in extensive-form games
The difference in conclusions between Aumann (1995) and Stalnaker (1998) is due to differing models of belief revision upon deviation from the backward induction path
claimPlausibility updates in sequential games during actual play differ in interpretation from plausibility updates used in pregame deliberation for Backward Induction.
The difference in conclusions between Aumann (1995) and Stalnaker (1998) is due to differing models of belief revision upon deviation from the backward induction path