Alexandru Baltag is a contemporary logician and philosopher known for his foundational work in dynamic epistemic logic and the logic of information flow. His research integrates formal logic, game theory, and epistemology to model belief revision, knowledge updates, and multi-agent reasoning.
Co-developed the BMS (Baltag-Moss-Solecki) framework for dynamic epistemic logic
Advanced the theory of belief revision and plausibility models
Contributed to the logic of public and private announcements in multi-agent systems
Applied dynamic logic to game theory and sequential reasoning
Developed formal models of learning and information update