Toward a Dynamic Logic of Questions

Benthem, Johan van; Minica, Stefan

doi:10.1007/978-3-642-04893-7_3

Cited by 39 publications

(54 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[22]) by radical or more conservative upgrades of plausibility orderings. Other dynamic logics describe acts of inference or introspection that raise "awareness" [36,34], and of questions that modify the focus of a current process of inquiry [32].…”

Section: Evidence Dynamicsmentioning

confidence: 99%

Dynamic Logics of Evidence-Based Beliefs

2011

View full text Add to dashboard Cite

Link to publication General rightsIt is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulationsIf you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. Dynamic Logics of Evidence-Based BeliefsDedicated to Professor Ryszard Wójcicki on the occasion of his 80th birthday * Abstract. This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of "evidence management", ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.

show abstract

Section: Evidence Dynamicsmentioning

confidence: 99%

Dynamic Logics of Evidence-Based Beliefs

2011

View full text Add to dashboard Cite

show abstract

“…In this section, we will provide a brief overview of the dynamic epistemic logic with questions, delq, developed by Van Benthem and Minicȃ (2011). For more background on dynamic epistemic logic in general we refer to van Ditmarsch et al (2007).…”

Section: Dynamic Epistemic Logic With Questionsmentioning

confidence: 99%

“…The importance of questions has been recognized in recent work within the del tradition, in particular by Van Benthem and Minicȃ (2011). A characteristic feature of the approach taken by Van Benthem and Minicȃ is that it leaves the semantics of the basic static fragment of the logical language untouched.…”

Section: Introductionmentioning

confidence: 99%

Inquisitive dynamic epistemic logic

Ciardelli

Roelofsen

2014

Synthese

View full text Add to dashboard Cite

This paper develops a logic that combines the main features of dynamic epistemic logic with those of inquisitive semantics. We argue that this merge helps both traditions a step further. From the viewpoint of dynamic epistemic logic, the main benefit lies in the fact that inquisitiveness does not only enter the picture at the level of speech acts, but already at the level of semantic content, which means in particular that it becomes possible to deal with embedded questions. From the viewpoint of inquisitive semantics, the main vantage point is that we inherit from dynamic epistemic logic a perspicuous way of representing the epistemic states of the conversational participants, and a way to specify explicitly how utterances and other speech acts affect these epistemic states.

show abstract

“…closed under product update with any epistemic actions): not only epistemic PDL, but also epistemic mu-calculus [88] and other logics; the extension of DEL to fact-changing events [76]; the exploration of games, strategies, rationality and game-theoretic solutions using DEL [56,[77][78][79]; analogues of DEL for preference change [82,77]; the systematic comparison and merge of DEL with Epistemic Temporal Logic [92] and with other frameworks for interaction such as STIT logics [112]; the dynamic logic of questions and issues, leading to the development of ''interrogative DEL'' [105]; extensions of DEL dealing with the inferential dynamics and awareness [101], as well as the evidential dynamics and evidence-managing actions [106]; etc.…”

Section: Dynamic Epistemic Logicmentioning

confidence: 99%

“…Building on previous DEL-style work on questions by Baltag [5], van Benthem and Minica [105] develop an Interrogative version of DEL. Starting from the standard analysis of questions as partitions (grouping together in the same cell worlds in which the answer is the same), the authors introduce epistemic issue models.…”

Section: The Dynamics Of Inquiry: Question-raising Actions and Issue mentioning

confidence: 99%