Toward a Dynamic Logic of Questions

被引:31
|
作者
van Benthem, Johan [1 ,2 ]
Minica, Stefan [1 ]
机构
[1] Univ Amsterdam, Inst Log Language & Computat, POB 94242, NL-1090 GE Amsterdam, Netherlands
[2] Stanford Univ, Dept Philosophy, Stanford, CA 94305 USA
关键词
Question; Issue management; Logical dynamics;
D O I
10.1007/s10992-012-9233-7
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
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 multi-agent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts.
引用
收藏
页码:633 / 669
页数:37
相关论文
共 50 条
  • [1] Toward a Dynamic Logic of Questions
    van Benthem, Johan
    Minica, Stefan
    LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 27 - 41
  • [2] Toward a Dynamic Logic of Questions
    Johan van Benthem
    Ştefan Minică
    Journal of Philosophical Logic, 2012, 41 : 633 - 669
  • [3] Logic of Questions from the Viewpoint of Dynamic Epistemic Logic
    Pelis, Michal
    Majer, Ondrej
    LOGICA YEARBOOK 2009, 2010, : 157 - 172
  • [4] Dynamic predicate logic of dependent questions and answers
    Ogata, Norihiro
    NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2007, 3609 : 372 - 382
  • [5] QUESTIONS OF LOGIC
    Elliott, David K.
    SCIENTIFIC AMERICAN, 2015, 312 (01) : 6 - 6
  • [6] A Relevant Logic of Questions
    Puncochar, Vit
    JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (05) : 905 - 939
  • [7] A LOGIC FOR ALL QUESTIONS
    HARRAH, D
    PHILOSOPHIA, 1982, 11 (1-2) : 13 - 31
  • [8] CONSISTENCY OF LOGIC OF QUESTIONS
    LEMOINE, AR
    ACTA CIENTIFICA VENEZOLANA, 1972, 23 : 61 - &
  • [9] QUESTIONS, ANSWERS, AND LOGIC
    TICHY, P
    AMERICAN PHILOSOPHICAL QUARTERLY, 1978, 15 (04) : 275 - 284
  • [10] COMPLETENESS IN LOGIC OF QUESTIONS
    HARRAH, D
    AMERICAN PHILOSOPHICAL QUARTERLY, 1969, 6 (02) : 158 - 164