b. 1968
Alexandru Baltag is a Romanian-Dutch logician and philosopher at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, specializing in dynamic epistemic logic, formal epistemology, and epistemic game theory. He is best known for developing rigorous logical frameworks for modeling how agents update beliefs in response to actions and information. His work bridges formal logic, philosophy of knowledge, and game theory.
Co-developed Dynamic Epistemic Logic (DEL) and the Baltag-Moss-Solecki (BMS) update model for multi-agent belief revision
Extended belief revision theory to handle plausibility-based (lexicographic) updates and conditional beliefs
Formalized epistemic foundations of game theory, including analysis of backward induction and forward induction
Contributed to resolving foundational disputes in epistemic game theory (e.g., Aumann vs. Stalnaker on common knowledge and rationality)
Developed logical frameworks for reasoning about knowledge, belief, and action in interactive settings
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