Toward a dynamic logic of questions

Authors:
Johan Van Benthem;Ştefan Minică
Affiliations:
Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands and Department of Philosophy, Stanford University, Stanford, CA;Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands
Venue:
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Year:
2009

Citing 2
Cited 10

From conditional probability to the logic of doxastic actions

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Generalized inquisitive logic: completeness via intuitionistic Kripke models

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge

A logic for reasoning about counterfactual emotions

Artificial Intelligence
Logic of questions and public announcements

TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Dynamic Logics of Evidence-Based Beliefs

Studia Logica
Logical dynamics of evidence

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
A logic of questions for rational choice

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Open and Closed Questions in Decision-making

Electronic Notes in Theoretical Computer Science (ENTCS)
How questions guide choices: a preliminary logical investigation

AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Interrogative Belief Revision Based on Epistemic Strategies

Studia Logica
Reasoning About Agent Types and the Hardest Logic Puzzle Ever

Minds and Machines
Preference logic of focus change: a semantic approach

AT'13 Proceedings of the Second international conference on Agreement Technologies

Quantified Score

Hi-index	0.00

Visualization

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 longer-term temporal protocols and multi-agent scenarios. We sketch a comparison with two main alternative accounts: Hintikka's interrogative logic and Groenendijk's inquisitive semantics.