{"id":1414,"date":"2019-03-08T17:27:23","date_gmt":"2019-03-08T09:27:23","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=1414"},"modified":"2019-03-08T20:29:55","modified_gmt":"2019-03-08T12:29:55","slug":"talk-group-knowledge-in-dynamic-epistemic-logic-yi-wang","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/talk-group-knowledge-in-dynamic-epistemic-logic-yi-wang\/","title":{"rendered":"[talk] Group Knowledge in Dynamic Epistemic Logic (Yi Wang)"},"content":{"rendered":"<blockquote><p><strong>Time:<\/strong> 2019 March. 22,\u00a013:30-16:00<br \/>\n<strong>Venue:<\/strong>\u00a0Xinzhai 324, Tsinghua Univ.<\/p><\/blockquote>\n<p><strong>Speaker:<\/strong>\u00a0<b>Yi Wang<\/b>\u00a0(Zhejiang University)<\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-large wp-image-1415 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG5-400x267.jpeg\" alt=\"\" width=\"400\" height=\"267\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG5-400x267.jpeg 400w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG5-200x133.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG5-768x512.jpeg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG5.jpeg 900w\" sizes=\"(max-width: 400px) 100vw, 400px\" \/><\/p>\n<p><strong>Title:\u00a0Group Knowledge in Dynamic Epistemic Logic<\/strong><\/p>\n<p><strong>Abstract:\u00a0<\/strong>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.<\/p>\n<p><strong>Key References:\u00a0<\/strong>\u00a0While 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):<\/p>\n<ul>\n<li>Roelofsen (2007) Distributed knowledge, Journal of Applied Non-Classical Logics<\/li>\n<li>\n<div dir=\"auto\">W\u00e1ng and \u00c5gotnes (2013) Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity, Synthese<\/div>\n<\/li>\n<li>\u00c5gotnes and W\u00e1ng (2017) Resolving Distributed Knowledge, Artificial Intelligence<\/li>\n<\/ul>\n<p><strong>CV:\u00a0<\/strong>\u738b\u8f76\uff0c2009\u5e74\u83b7\u5317\u4eac\u5927\u5b66\u903b\u8f91\u5b66\u535a\u58eb\u5b66\u4f4d\uff0c<wbr \/>2013\u5e74\u83b7\u632a\u5a01\u5351\u5c14\u6839\u5927\u5b66\u4fe1\u606f\u79d1\u5b66\u535a\u58eb\u5b66\u4f4d\u3002<wbr \/>\u73b0\u4e3a\u6d59\u6c5f\u5927\u5b66\u54f2\u5b66\u7cfb\u526f\u6559\u6388\uff0c\u535a\u58eb\u751f\u5bfc\u5e08\uff0c\u6d59\u6c5f\u5927\u5b66\u6c42\u662f\u9752\u5e74\u5b66\u8005\u3002<\/p>\n<p><strong>Organization:<br \/>\n<\/strong>Tsinghua University &#8211; University of Amsterdam Joint Research Centre for Logic<br \/>\nDepartment of Philosophy, Tsinghua University<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Time: 2019 March. 22,\u00a013:30-16:00 Venue:\u00a0Xinzhai 324, T [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1414"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=1414"}],"version-history":[{"count":2,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1414\/revisions"}],"predecessor-version":[{"id":1420,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1414\/revisions\/1420"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=1414"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=1414"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=1414"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}