Title: Partial Communication (and, if time allows, Arbitrary Partial Communication)
Abstract: While the paradigmatic dynamic epistemic logic (DEL) allows us to reason about agents receiving information from an external source (Public Announcement Logic as well as the Action Models framework), communication within groups of agents has lately become interesting for researchers in the area. This talk discusses a form of partial (more precisely, topic-based) communication, particularly useful in situations in which sharing all information is not feasible/advisable. We will present the framework, then discuss some of its basic results (e.g., axiom system, structural invariance, expressivity, its relationship with public announcements). Then, time permitting, we will shift our attention to arbitrary topic-based communication, doing so by extending the language with a modality that quantifies over the topics the agents can ‘talk about’. We will discuss again some basic results, closing with a comparison between arbitrary partial communication and arbitrary public announcements.
The seminar will held online on March 12th at 14:30 (Rome time) on the Microsoft Teams platform, here.