9 June 2010, Dynamic Logics for Multi-Agent Information Flow: From quantum protocols for secure communication to belief-revision strategies for rational players, Sonja Smets

In this short talk, I will briefly present the main highlights of my past and current research. The thread that unifies most of my work is the use of logical formalisms inspired from Dynamic Logic (a type of modal logics), to represent and reason about information flow in multi-agent systems.

Time permitting, I will focus in more depth on two of my research topics: (1) my work on dynamic logics for reasoning about Quantum Information Flow, and its applications to quantum protocols for Secure Communication; (2) my work on logical models for interactive belief revision, and its applications to dynamic rationality and equilibrium concepts in Game Theory.