[talk] Group Knowledge in Dynamic Epistemic Logic (Yi Wang)


Time: 2019 March. 22, 13:30-16:00
Venue: Xinzhai 324, Tsinghua Univ.

Speaker: Yi Wang (Zhejiang University)

Title: Group Knowledge in Dynamic Epistemic Logic

Abstract: We will study concepts of group knowledge (in particular, common and distributed knowledge) in the settings of dynamic epistemic logic. Our main focus are the motivations, definitions, methods and results of formal characterizations of these concepts.

Key References:  While the part with common knowledge can be found extensively in the textbook [van Ditmarsch et al., Dynamic Epistemic Logic, 2007], materials on distributed knowledge is less organized. The attendees of the seminar are better to have knowledge of the formal definitions of common knowledge and distributed knowledge (if not, read Sections 2.3, 4.6 and 4.8 of [van Ditmarsch et al., 2007] in advance, and probably also the prerequisites of these sections). Those who still have time can go ahead with some or all of the following papers (in the given order):

  • Roelofsen (2007) Distributed knowledge, Journal of Applied Non-Classical Logics
  • Wáng and Ågotnes (2013) Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity, Synthese
  • Ågotnes and Wáng (2017) Resolving Distributed Knowledge, Artificial Intelligence

CV: 王轶,2009年获北京大学逻辑学博士学位,2013年获挪威卑尔根大学信息科学博士学位。现为浙江大学哲学系副教授,博士生导师,浙江大学求是青年学者。

Organization:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Department of Philosophy, Tsinghua University