On Thursday, October 24, we will have a LIRa session with Ivano Ciardelli.
Everyone is cordially invited!
Speaker: Ivano Ciardelli (University of Amsterdam)
Title: Inquisitive dynamic epistemic logic
Date and Time: Thursday, October 24, 2013, 15:30-17:30
Venue: Science Park 107, Room F1.15
Information exchange can be seen as a process of raising and resolving issues. We propose a logical framework to model and reason about this process, IDEL, which enriches the standard framework of dynamic epistemic logic, incorporating insights from recent work on inquisitive semantics. At a static level, IDEL allows us to model not only the information available to a set of agents, but also the issues that the agents entertain. At a dynamic level, it allows us to model not only actions whose effect is to provide new information, but also actions whose effect is to raise new issues.