Synthese

, Volume 192, Issue 6, pp 1643–1687

Inquisitive dynamic epistemic logic

Article

DOI: 10.1007/s11229-014-0404-7

Cite this article as:
Ciardelli, I.A. & Roelofsen, F. Synthese (2015) 192: 1643. doi:10.1007/s11229-014-0404-7
  • 328 Downloads

Abstract

Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic (IDEL), which enriches the standard framework of dynamic epistemic logic (DEL), incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic logic, but also the issues that the agents entertain. At a dynamic level, IDEL does not only allow us to model the effects of communicative actions that provide new information, like standard DEL, but also the effects of actions that raise new issues. Thus, IDEL provides the fundamental tools needed to analyze information exchange as a dynamic process of raising and resolving issues.

Keywords

Dynamic epistemic logic Inquisitive semantics Information exchange Logic of questions 

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.Institute for Logic, Language, and ComputationUniversity of AmsterdamAmsterdamThe Netherlands