Dear all,
We will have our next LIRa session on Thursday, April 29th. Our speaker is Rustam Galimullin. You can find the details of the talk below. We will use our recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024).
Speaker: Rustam Galimullin
Date and Time: Thursday, April 29th 2021, 16:30-18:00, Amsterdam time.
Venue: online.
Title: Group Knowledge in Public Communication.
Abstract. Group announcement logic (GAL) allows us to reason about whether it is possible for groups of agents to achieve their desired epistemic goals through truthful public communication. Such a strategic setting invites for an analysis of the role of various notions of group knowledge, in particular of common and distributed knowledge. In the talk I will argue that extending GAL with group knowledge operators is not entirely straightforward, and consider the axiomatisations and the relative expressivity of the resulting formalisms. I will try to focus on an accessible presentation of the overall framework, and all the results in the talk will be proved either by providing an intuition or by the appeal to the published work.
Hope to see you there!
The LIRa team