{"id":278,"date":"2014-11-22T14:32:10","date_gmt":"2014-11-22T06:32:10","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=278"},"modified":"2015-01-30T18:57:28","modified_gmt":"2015-01-30T10:57:28","slug":"seminar-logic-information-and-interaction-by-johan-van-benthem","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/seminar-logic-information-and-interaction-by-johan-van-benthem\/","title":{"rendered":"[tutorial] Logic, Information, and Interaction (Johan van Benthem)"},"content":{"rendered":"<blockquote><p><strong>Time:<\/strong>\u00a02014 Nov. 1, 4-6, 8, 11-13, 15.<\/p>\n<p><strong>Venue:<\/strong>\u00a0Rm 346 Xinzhai (\u65b0\u658b), Tsinghua University, Beijing.<\/p><\/blockquote>\n<p>This is a\u00a0two-week\u00a0intensive\u00a0seminar.<\/p>\n<p><strong>Aims:<\/strong><\/p>\n<ol>\n<li>Bring\u00a0you\u00a0up\u00a0to\u00a0date\u00a0about\u00a0some\u00a0current\u00a0topics\u00a0and\u00a0research\u00a0styles\u00a0in\u00a0dynamic\u00a0logics\u00a0of\u00a0agency,<\/li>\n<li>Get\u00a0to\u00a0know\u00a0you,<\/li>\n<li>Bring\u00a0you\u00a0in\u00a0touch\u00a0with\u00a0students\u00a0in\u00a0Amsterdam\u00a0and\u00a0Stanford.<\/li>\n<\/ol>\n<p><!--more--><\/p>\n<p><strong>Prerequisites\u00a0Knowledge:<\/strong> first-\u00adorder\u00a0logic\u00a0(modal\u00a0logic\u00a0would\u00a0help\u00a0but\u00a0not\u00a0strictly\u00a0necessary).<\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone wp-image-311 size-large\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/11\/Thu-course-11.5-2-400x225.jpg\" alt=\"Thu-course-11.5-2\" width=\"400\" height=\"225\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/11\/Thu-course-11.5-2-400x225.jpg 400w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/11\/Thu-course-11.5-2-200x112.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/11\/Thu-course-11.5-2.jpg 1800w\" sizes=\"(max-width: 400px) 100vw, 400px\" \/><\/p>\n<p><strong>Topics\u00a0and\u00a0readings:<\/strong>\u00a0Skim\u00a0through\u00a0readings\u00a0before\u00a0class\u00a0to\u00a0get a feeling\u00a0for\u00a0the\u00a0topic,\u00a0after\u00a0class\u00a0look\u00a0up\u00a0the\u00a0details.<\/p>\n<ul>\n<li>Nov 1: Introduction\u00a0and\u00a0getting\u00a0acquainted\u00a0(introduction\u00a0chapters\u00a0LDII\u00a0and\u00a0LiG)<\/li>\n<li>Block\u00a01:\u00a0Information\n<ul>\n<li>Nov 4: Knowledge,\u00a0update\u00a0(LDII,\u00a0ch.\u00a02,\u00a03)<\/li>\n<li>Nov\u00a05: Belief,\u00a0evidence\u00a0(LDII,\u00a0ch.\u00a07\u00a0+\u00a0paper\u00a0BenthemPacuit)<\/li>\n<li>Nov\u00a06: Probability\u00a0(LDII,\u00a0ch.\u00a08\u00a0+\u00a0note\u00a0on\u00a0qualitative\u00a0probability)<\/li>\n<li>Nov:\u00a08\u00a0Discussion &#8211; Tracking\u00a0information\u00a0over\u00a0time<\/li>\n<\/ul>\n<\/li>\n<li>Block\u00a02:\u00a0Interaction\n<ul>\n<li>Nov 11: Logic\u00a0of\u00a0extensive\u00a0games\u00a0at\u00a0two\u00a0levels\u00a0(LiG,\u00a0ch.\u00a01,\u00a011)<\/li>\n<li>Nov 12: Dynamic\u00a0logic\u00a0of\u00a0game\u00a0solution\u00a0(LiG,\u00a0ch.\u00a08,\u00a013)<\/li>\n<li>Nov\u00a013: Logic\u00a0as\u00a0games\u00a0and\u00a0its\u00a0laws\u00a0(LiG,\u00a0ch.\u00a014,\u00a019)<\/li>\n<li>Nov 15: Discussion &#8211; Designing\u00a0a\u00a0new\u00a0logic\u00a0game<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>Materials:<\/strong>\u00a0Chapters\u00a0from\u00a0books\u00a0and\u00a0papers.<\/p>\n<p>LDII\u00a0=\u00a0Logical\u00a0Dynamics\u00a0of\u00a0Information\u00a0and\u00a0Interaction\u00a02011,<br \/>\nLiG = Logicin\u00a0Games\u00a02014.<br \/>\nThese\u00a0are\u00a0for\u00a0your\u00a0private use,\u00a0not\u00a0for\u00a0wider\u00a0circulation.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Time:\u00a02014 Nov. 1, 4-6, 8, 11-13, 15. Venue:\u00a0Rm 346 Xin [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[6,42,10],"tags":[31,33],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/278"}],"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=278"}],"version-history":[{"count":12,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/278\/revisions"}],"predecessor-version":[{"id":518,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/278\/revisions\/518"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=278"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=278"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=278"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}