Inquisitive dynamic epistemic logic, IDEL for short, is the dynamic version of inquisitive epistemic logic.

In standard dynamic epistemic logic, public announcements establish new common knowledge. In IDEL, one may announce both declarative and interrogative sentences. Accordingly, announcements may both establish new common knowledge and raise new public issues.

Thus, in IDEL we can model and reason about information exchange as a process in which issues are raised and resolved by requesting and providing information.

 

References:

Ivano Ciardelli and Floris Roelofsen, Inquisitive dynamic epistemic logic, 2014.
Synthese, forthcoming.

A new paper on the logic of IEL and IDEL, including axiomatization results, is in preparation. I hope to make a draft available soon.