LIRa Session: Rustam Galimullin

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.

The recording of the talk can be found here.