Toward a Dynamic Logic of Questions

Johan van Benthem · ¸ Stefan Minic¢a

Abstract

Questions are triggers for explicit events of ‘issue management’.We

give a complete logic in dynamic-epistemic style for events of raising, refining,

and resolving an issue, all in the presence of information flow through observation

or communication. We explore extensions of the framework to multiagent

scenarios and long-term temporal protocols. We sketch a comparison

with some alternative accounts.

1 Introduction and Motivation

Questions are different from statements, but they are just as important in

driving reasoning, communication, and general processes of investigation. The

first logical studies merging questions and propositions seem to have come

from the Polish tradition:....