Toward a Dynamic Logic of Questions
Johan van Benthem, Stefan Minica

Abstract:
Questions can be viewed as triggers for explicit events of 'issue
management'. We give a complete calculus in the dynamic-epistemic
logic style for events of raising, refining, and resolving an issue,
all in the presence of information flow through observation or
communication.  We explore a few extensions of the framework,
including longer-term temporal protocols and multi-agent scenarios.
Our approach differs from the two main existing accounts: Hintikka's
interrogative logic and Groenendijk's inquisitive semantics, but we
only sketch a comparison in this first paper.