Sonja Smets is a contemporary logician and formal epistemologist at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. She is known for her work in dynamic epistemic logic, belief revision, and logical foundations of quantum computation. Her research bridges formal logic, epistemic game theory, and the semantics of rational belief update.
Developed logical frameworks for belief revision and plausibility update operators
Contributed to the logical foundations of quantum information and quantum computation
Advanced dynamic epistemic logic approaches to epistemic game theory
Analyzed the Aumann–Stalnaker debate on common knowledge and backward induction using formal models
Co-developed dynamic-doxastic logics for iterated belief change
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