Synthese 197 (9):3905-3945 (2020)

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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s11229-018-1886-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,316
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.

View all 20 references / Add more references

Citations of this work BETA

Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.
Inquisitive Propositional Dynamic Logic.Vít Punčochář & Igor Sedlár - 2021 - Journal of Logic, Language and Information 30 (1):91-116.
Inquisitive Logic as an Epistemic Logic of Knowing How.Haoyu Wang, Yanjing Wang & Yunsong Wang - forthcoming - Annals of Pure and Applied Logic:103145.
Reducing Contrastive Knowledge.Michael Cohen - 2021 - Erkenntnis 86 (6):1547-1565.

Add more citations

Similar books and articles

Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
A Generalization of Inquisitive Semantics.Vít Punčochář - 2016 - Journal of Philosophical Logic 45 (4):399-428.
Weak Negation in Inquisitive Semantics.Vít Punčochář - 2015 - Journal of Logic, Language and Information 24 (3):323-355.
A Dynamic Logic of Action.Brigitte Penther - 1994 - Journal of Logic, Language and Information 3 (3):169-210.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.


Added to PP index

Total views
12 ( #812,725 of 2,519,507 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,507 )

How can I increase my downloads?


My notes