Information exchange can be viewed as a process of asking questions and answering them. While dynamic epistemic logic traditionally focuses on statements, recent developments have been concerned with ways of incorporating questions. One approach, based on the framework of inquisitive semantics, is inquisitive dynamic epistemic logic ). In this system, agents are represented with issues as well as information. On the dynamic level, it can model actions that raise new issues. Compared to other approaches, a limitation of \ is that (...) it can only encode public announcements. \ can be refined to encode private questions, by merging its static basis, inquisitive epistemic logic ), with action model logic ). This can be done in two ways, namely by enriching action models with questions as possible actions or with issues concerning which action takes place. This paper describes the corresponding dynamic logics, which are conservative extensions of both \ and \, and a sound and complete axiomatization is given for both. (shrink)

This paper combines propositional dynamic logic ) with propositional inquisitive logic ). The result of this combination is a logical system \ that conservatively extends both \ and \, and, moreover, allows for an interaction of the question-forming operator from \ with the structured modalities from \. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that \ is decidable.

According to one form of epistemic contrastivism, due to Jonathan Schaffer, knowledge is not a binary relation between an agent and a proposition, but a ternary relation between an agent, a proposition, and a context-basing question. In a slogan: to know is to know the answer to a question. I argue, first, that Schaffer-style epistemic contrastivism can be semantically represented in inquisitive dynamic epistemic logic, a recent implementation of inquisitive semantics in the framework of dynamic epistemic logic; second, that within (...) inquisitive dynamic epistemic logic, the contrastive ternary knowledge operator is reducible to the standard binary one. The reduction shows, I argue, that Schaffer’s argument in favor of contrastivism is compatible with a binary picture of knowledge. This undercuts the force of the argument in favor of contrastivism. (shrink)