Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Speaker: Sonja Smets
Date: 9 June 2010
Time: 11:00
Location: Room C0.110, Science Park 904, Amsterdam

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.

Please note that this newsitem has been archived, and may contain outdated information or links.