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
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Department of Philosophy, Tsinghua University