{"id":1675,"date":"2016-03-09T14:10:09","date_gmt":"2016-03-09T06:10:09","guid":{"rendered":"http:\/\/www.xixilogic.org\/?p=1675"},"modified":"2016-11-10T18:09:23","modified_gmt":"2016-11-10T10:09:23","slug":"short-course-on-epistemic-logic-2","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2016\/03\/short-course-on-epistemic-logic-2\/","title":{"rendered":"Short Course on Epistemic Logic [from 2016-03-17]"},"content":{"rendered":"<div style=\"float: right;\"><a href=\"https:\/\/www.zlaire.net\/events\/previous\/?attachment_id=1674\" rel=\"attachment wp-att-1674\"><img decoding=\"async\" class=\"alignnone size-medium wp-image-1674 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/20160309poster-212x300.jpg\" alt=\"20160309poster\" width=\"212\" height=\"300\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/20160309poster-212x300.jpg 212w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/20160309poster-768x1086.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/20160309poster-724x1024.jpg 724w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/20160309poster.jpg 1448w\" data-sizes=\"(max-width: 212px) 100vw, 212px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 212px; --smush-placeholder-aspect-ratio: 212\/300;\" \/><\/a><\/div>\n<p><strong>Xixi Logic Seminars #28<\/strong><\/p>\n<p><strong>Lecturers:<\/strong><\/p>\n<p>Thomas \u00c5gotnes (Professor at the University of Bergen, <span style=\"text-decoration: underline;\">Thomas.Agotnes@infomedia.uib.no<\/span>)<\/p>\n<p>Hans van Ditmarsch (CNRS Senior Researcher, <span style=\"text-decoration: underline;\">hans.van-ditmarsch@loria.fr<\/span>)<\/p>\n<p><strong>Topics:<\/strong><\/p>\n<ol>\n<li><strong>Epistemic Logic\u00a0<\/strong>\u00a0 <span style=\"color: #3366ff;\"><strong>(<a style=\"color: #3366ff;\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DELgraduate.pdf\" rel=\"attachment wp-att-1679\">SEL1-slides<\/a>)<\/strong><\/span>\n<ul>\n<li>Background reading: <span style=\"text-decoration: underline;\"><a href=\"http:\/\/xueshu.baidu.com\/s?wd=paperuri:(04bc4ab608a3860140ed067432343788)&amp;filter=sc_long_sign&amp;sc_ks_para=q%3DAn+Introduction+to+Logics+of+Knowledge+and+Belief&amp;tn=SE_baiduxueshu_c1gjeupa&amp;ie=utf-8\" target=\"_blank\">Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi. An Introduction to Logics of Knowledge and Belief, Chapter 1 from <em>Handbook of Epistemic Logic<\/em> Arxiv: arXiv:1503.00806<\/a><\/span><\/li>\n<li>Homework:\n<ol>\n<li>page 10 &#8220;Two agents&#8221;: show the truth of the three formulas<\/li>\n<li>page 11 &#8220;Three agents&#8221;: show the truth of the first formula in the slide<\/li>\n<li>Prove that the K axiom as shown below<a href=\"https:\/\/www.zlaire.net\/events\/previous\/?attachment_id=1688\" rel=\"attachment wp-att-1688\"><img decoding=\"async\" class=\"size-full wp-image-1688 aligncenter lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/K-axiom.png\" alt=\"K-axiom\" width=\"185\" height=\"18\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 185px; --smush-placeholder-aspect-ratio: 185\/18;\" \/><\/a>is valid (always true).<\/li>\n<li>page 19 &#8220;Axiomatization&#8221;: give derivation of the second formula of the task in the slide.<\/li>\n<\/ol>\n<\/li>\n<\/ul>\n<\/li>\n<li><strong>Public Announcement Logic<\/strong>\n<ul>\n<li>Slides: <a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DELgraduate-Hans.pdf\" rel=\"attachment wp-att-1697\"><span style=\"text-decoration: underline; color: #3366ff;\"><strong>DELgraduate-Hans<\/strong> <\/span>\u00a0\u00a0<\/a> <span style=\"color: #3366ff;\"><span style=\"text-decoration: underline;\"><strong><a style=\"color: #3366ff; text-decoration: underline;\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/pepites2016ConsecSomPro.pdf\" rel=\"attachment wp-att-1698\">pepites2016ConsecSomPro<\/a><\/strong><\/span>\u00a0<\/span>\u00a0\u00a0 <span style=\"text-decoration: underline; color: #3366ff;\"><strong><a style=\"color: #3366ff; text-decoration: underline;\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/pepites2016ConsecSomPro.pdf\" rel=\"attachment wp-att-1699\">pepites2016Muddy<\/a><\/strong><\/span><\/li>\n<li>Background reading: Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi. <em>Dynamic Epistemic Logic<\/em>, Springer, 2007. Chapter 4 mainly.<\/li>\n<li>Homework:\n<ol>\n<li>DELgraduate-Hans.pdf, page 27 &#8220;Example&#8221;: show that the following hold in the model on the slide: <a href=\"https:\/\/www.zlaire.net\/events\/previous\/?attachment_id=1695\" rel=\"attachment wp-att-1695\"><img decoding=\"async\" class=\"size-full wp-image-1695 aligncenter lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/validity-proof.png\" alt=\"validity-proof\" width=\"108\" height=\"58\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 108px; --smush-placeholder-aspect-ratio: 108\/58;\" \/><\/a><\/li>\n<li>DELgraduate-Hans.pdf, page 27 &#8220;Axiomatization&#8221;:\n<ol>\n<li>Show that the formula <a href=\"https:\/\/www.zlaire.net\/events\/previous\/?attachment_id=1694\" rel=\"attachment wp-att-1694\"><img decoding=\"async\" class=\"size-full wp-image-1694 aligncenter lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/5C.png\" alt=\"5C\" width=\"123\" height=\"14\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 123px; --smush-placeholder-aspect-ratio: 123\/14;\" \/><\/a>is valid (always true).<\/li>\n<li>Give derivation of the above formula using the Axiomatization given at page 27.<\/li>\n<\/ol>\n<\/li>\n<li>pepites2016ConsecSomPro.pdf: model the situation when numbers with a difference of 2, instead of consecutive numbers, are told to Anne and Bill respectively. For example, the numbers told respectively to Anne and Bill can be (2,4), or (5,3), and so on.<\/li>\n<\/ol>\n<\/li>\n<\/ul>\n<\/li>\n<li><strong>Action Model Logic<\/strong>\n<ul>\n<li>Slides: <span style=\"text-decoration: underline;\">DELgraduate.pdf\u00a0<\/span> and\u00a0 <span style=\"text-decoration: underline;\">pepites2016ConsecSomPro.pdf<\/span> (see Lecture 2)\u00a0 <span style=\"text-decoration: underline; color: #3366ff;\"><strong><a style=\"color: #3366ff; text-decoration: underline;\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/pepites2016Lightbulb.pdf\" rel=\"\">pepites2016Lightbulb<\/a><\/strong><\/span><\/li>\n<li>Background reading: H van Ditmarsch, W. van Der Hoek, B.P. Kooi. Playing cards with Hintikka: An introduction to dynamic epistemic logic, <em>Australasian Journal of Logic<\/em>, 2005. http:\/\/ojs.victoria.ac.nz\/ajl\/article\/view\/1776<\/li>\n<\/ul>\n<\/li>\n<li>(Same as the above)<\/li>\n<li><strong>Quantification over Information Change and Group Announcement Logic\u00a0 <span style=\"text-decoration: underline; color: #3366ff;\"><a style=\"color: #3366ff; text-decoration: underline;\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/gal.pdf\" rel=\"\">gal.pdf<\/a><\/span><br \/>\n<\/strong><\/p>\n<ul>\n<li>Background reading: Thomas Agotnes, Philippe Balbiani, Hans van Ditmarsch, and Pablo Seban, Group announcement logic. <em>Journal of Applied Logic<\/em> 8: 62-81, 2010.<\/li>\n<li>Background reading: Hans van Ditmarsch. Quantifying Notes In: Luke Ong and Ruy de Queiroz (editors), <em>Proceedings of 19th WoLLIC<\/em>, pp. 89-109, LNCS 7456, Springer, 2012.<\/li>\n<\/ul>\n<\/li>\n<li><strong>Knowledge and Strategic Interaction\u00a0 <span style=\"text-decoration: underline; color: #0000ff;\"><a style=\"color: #0000ff; text-decoration: underline;\" href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/atl.pdf\" rel=\"\">atl.pdf<\/a><\/span><br \/>\n<\/strong><\/p>\n<ul>\n<li>Background reading: T. \u00c5gotnes, V. Goranko, W. Jamroga and M. Wooldridge. Knowledge and Ability. In: H. van Ditmarsch, J. Y. Halpern, W. van der Hoek and B. Kooi (eds), <em>Handbook of Epistemic Logic<\/em>, College Publications, 2015.<\/li>\n<\/ul>\n<\/li>\n<\/ol>\n<p>&nbsp;<\/p>\n<p><a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02749.jpg\" rel=\"attachment wp-att-1773\"><img decoding=\"async\" class=\"size-medium wp-image-1773 alignleft lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02749-300x168.jpg\" alt=\"DSC02749\" width=\"300\" height=\"168\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02749-300x168.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02749-768x430.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02749-1024x574.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02749.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/168;\" \/><\/a> <a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02753.jpg\" rel=\"attachment wp-att-1774\"><img decoding=\"async\" class=\"size-medium wp-image-1774 alignleft lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02753-300x168.jpg\" alt=\"DSC02753\" width=\"300\" height=\"168\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02753-300x168.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02753-768x430.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02753-1024x574.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02753.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/168;\" \/><\/a> <a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02756.jpg\" rel=\"attachment wp-att-1775\"><img decoding=\"async\" class=\"size-medium wp-image-1775 alignleft lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02756-300x168.jpg\" alt=\"DSC02756\" width=\"300\" height=\"168\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02756-300x168.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02756-768x430.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02756-1024x574.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/DSC02756.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/168;\" \/><\/a> <a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807875434.jpg\" rel=\"attachment wp-att-1776\"><img decoding=\"async\" class=\"size-medium wp-image-1776 alignleft lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807875434-300x225.jpg\" alt=\"mmexport1458807875434\" width=\"300\" height=\"225\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807875434-300x225.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807875434-768x576.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807875434-1024x768.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807875434.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/225;\" \/><\/a> <a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807891443.jpg\" rel=\"attachment wp-att-1777\"><img decoding=\"async\" class=\"size-medium wp-image-1777 alignleft lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807891443-300x225.jpg\" alt=\"mmexport1458807891443\" width=\"300\" height=\"225\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807891443-300x225.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807891443-768x576.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807891443-1024x768.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/mmexport1458807891443.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/225;\" \/><\/a> <a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/QQ\u56fe\u724720160322131829.jpg\" rel=\"attachment wp-att-1778\"><img decoding=\"async\" class=\"size-medium wp-image-1778 alignleft lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/QQ\u56fe\u724720160322131829-300x225.jpg\" alt=\"QQ\u56fe\u724720160322131829\" width=\"300\" height=\"225\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/QQ\u56fe\u724720160322131829-300x225.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/QQ\u56fe\u724720160322131829-768x576.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/QQ\u56fe\u724720160322131829-1024x768.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/03\/QQ\u56fe\u724720160322131829.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/225;\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Xixi Logic Seminars #28 Lecturers: Thomas \u00c5gotnes (Professor at the University of Bergen, Thomas.Agotnes@infomedia.uib.no) Hans van Ditmarsch (CNRS Senior Researcher, hans.van-ditmarsch@loria.fr) Topics: Epistemic Logic\u00a0\u00a0 (SEL1-slides) Background reading: Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi. An <span class=\"excerpt-dots\">&hellip;<\/span> <a class=\"more-link\" href=\"https:\/\/www.zlaire.net\/events\/previous\/2016\/03\/short-course-on-epistemic-logic-2\/\"><span class=\"more-msg\">Continue reading &rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[2],"tags":[],"class_list":["post-1675","post","type-post","status-publish","format-standard","hentry","category-workshops"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1675","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=1675"}],"version-history":[{"count":14,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1675\/revisions"}],"predecessor-version":[{"id":2258,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1675\/revisions\/2258"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=1675"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=1675"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=1675"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}