The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities

被引:0
|
作者
Ciardelli, Ivano [1 ]
机构
[1] Univ Amsterdam, ILLC, Amsterdam, Netherlands
基金
欧洲研究理事会;
关键词
D O I
10.1007/978-3-662-55665-8_17
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Inquisitive dynamic epistemic logic (IDEL) extends public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, with public announcement logic. We show that dynamic modalities admit a set of reduction axioms, which allow us to turn any formula of IDEL into an equivalent formula of static inquisitive epistemic logic. This leads us to establish several complete axiomatizations of IDEL, corresponding to known axiomatizations of public announcement logic.
引用
收藏
页码:240 / 255
页数:16
相关论文
共 50 条
  • [1] Inquisitive Propositional Dynamic Logic
    Vít Punčochář
    Igor Sedlár
    [J]. Journal of Logic, Language and Information, 2021, 30 : 91 - 116
  • [2] Inquisitive Propositional Dynamic Logic
    Puncochar, Vit
    Sedlar, Igor
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2021, 30 (01) : 91 - 116
  • [3] Inquisitive dynamic epistemic logic
    Ivano A. Ciardelli
    Floris Roelofsen
    [J]. Synthese, 2015, 192 : 1643 - 1687
  • [4] Inquisitive dynamic epistemic logic
    Ciardelli, Ivano A.
    Roelofsen, Floris
    [J]. SYNTHESE, 2015, 192 (06) : 1643 - 1687
  • [5] A dynamic logic with branching modalities
    Zhang, Yuanrui
    Liu, Zhiming
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2024, 136
  • [6] Towards dynamic inquisitive semantics of dialogue
    Boritchev, Maria
    [J]. THEORETICAL LINGUISTICS, 2023, 49 (1-2) : 119 - 125
  • [7] Dynamic Modalities
    Dimiter Vakarelov
    [J]. Studia Logica, 2012, 100 : 385 - 397
  • [8] Dynamic Modalities
    Vakarelov, Dimiter
    [J]. STUDIA LOGICA, 2012, 100 (1-2) : 385 - 397
  • [9] Wh-questions in dynamic inquisitive semantics
    Roelofsen, Floris
    Dotlacil, Jakub
    [J]. THEORETICAL LINGUISTICS, 2023, 49 (1-2) : 1 - 91
  • [10] On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach
    Boritchev, Maria
    de Groote, Philippe
    [J]. NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, JSAI-ISAI 2020, 2021, 12758 : 21 - 36