TitleDistributed knowing whether: (Extended abstract)
AuthorsSu, Xingchi
AffiliationDepartment of Philosophy, Peking University, Beijing, China
Issue Date2017
Publisher6th International Workshop on Logic, Rationality, and Interaction, LORI 2017
Citation6th International Workshop on Logic, Rationality, and Interaction, LORI 2017. 2017, 10455 LNCS, 653-657.
AbstractStandard epistemic logic studies reasoning patterns about ��knowing that��, where interesting group notions of ��knowing that�� arise naturally, such as distributed knowledge and common knowledge. In recent research, other notions of knowledge are also studied, such as ��knowing whether��, ��knowing how��, and so on. It is natural to ask what are the group notions of these non-standard knowledge expressions. This paper makes an initial attempt in this line, by looking at the notion corresponding to distributed knowledge in the setting of ��knowing whether��. We introduce the distributed know-whether operator, and give complete axiomatizations of the resulting logics over arbitrary or S 5 frames, based on the corresponding axiomatizations of ��knowing whether��. ? Springer-Verlag GmbH Germany 2017.
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®

Checked on Last Week


Checked on Current Time


Checked on Current Time

Google Scholar™

License: See PKU IR operational policies.