No 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.

No abstract

This paper presents a labelled tableau approach for deciding interrogative-epistemic logics (IEL). Tableau calculi for these logics have been derived using a recently introduced tableau synthesis method. We also consider an extension of the framework for a setting with questioning modalities over sequences of formulae called sequential questioning logic (SQL). We have implemented the calculi using two approaches. The first implementation has been obtained with the tableau prover generation software MetTeL 2 , while the other implementation is a prover implemented in Haskell.

Asking questions in multi-agent environments is an interesting and complex phenomenon with potential applications for both education and information technologies. We approach the problem of building an adequate model for questioning phenomena using dynamic-epistemic formalism and we present an implementation of multi-agent dynamic-epistemic questioning using Haskell. We start by introducing a dynamic-epistemic logic for questions which extends previous results from (van Benthem and Minicȃ, 2009). Next, an implementation for model-checking in epistemic-issue models is proposed based on a similar implementation for epistemic logic from (van Eijck, 2004). We conclude the paper by probing potential applications of this results in education and beyond by presenting an ongoing project of building an accessible and intuitive web-based graphical interface to be used in an electronic teaching environment for visualizing, designing and managing strategies for asking questions during abstract scientific inquiry and in cooperative or competitive scenarios of multi-agent goal-driven investigations and interrogative interactions.