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 条