Thomas Ågotnes is a Norwegian logician working at the intersection of dynamic epistemic logic, multi-agent systems, and game theory. His research examines how agents update beliefs and knowledge in interactive settings, with particular attention to sequential games and group epistemic phenomena. He has contributed to formal frameworks for reasoning about plausibility revision under the dynamics of actual play.
Developed formal accounts of plausibility update semantics in sequential game contexts
Contributed to dynamic epistemic logic frameworks for multi-agent belief revision
Research on group knowledge and coalition reasoning in formal logic
Work on the logic of announcements and their epistemic effects in interactive scenarios