Smets is a contemporary philosopher and logician working primarily in dynamic epistemic logic, game theory, and the foundations of rational agency. Best known for collaborative work with Alexandru Baltag on belief revision, plausibility models, and the logic of information change in multi-agent settings.
Co-developed dynamic logics of belief revision and plausibility models with Alexandru Baltag
Contributed to the formal analysis of sequential games and rational play
Advanced the study of conditional doxastic logic and learning in multi-agent systems
Published widely on the interface of epistemic logic, game theory, and quantum information