Grossi is a contemporary logician and philosopher working on formal epistemology, game theory, and the logical analysis of rational agency. His research focuses on dynamic epistemic logic, belief revision, and the semantics of plausibility and knowledge in interactive settings.
Contributed to dynamic epistemic logic and its application to game theory
Developed formal analyses of plausibility updates in sequential games
Advanced logical frameworks for reasoning about rational agency and interaction
Published on belief revision and the semantics of knowledge in multi-agent systems