{"id":623,"date":"2015-09-21T12:18:23","date_gmt":"2015-09-21T04:18:23","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=623"},"modified":"2015-11-09T13:49:50","modified_gmt":"2015-11-09T05:49:50","slug":"2015-autumn-seminar-dynamic-epistemic-logic","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/2015-autumn-seminar-dynamic-epistemic-logic\/","title":{"rendered":"[tutorial] &#8220;Logic and Agency&#8221; Fall 2015"},"content":{"rendered":"<p><strong>\u8bfe\u7a0b\u7b80\u4ecb<\/strong>\uff1a2015\u5e74\u79cb\u5b63\u5b66\u671f\u6211\u4eec\u7ec4\u7ec7\u4e00\u6b21\u4e13\u9898\u7814\u8ba8\u73ed\uff08Tutorial on Logic and Agency\uff09\uff0c\u9762\u5411\u7814\u7a76\u751f\u6216\u9ad8\u5e74\u7ea7\u7684\u672c\u79d1\u751f\uff0c\u6b22\u8fce\u5927\u5bb6\u53c2\u52a0\u3002\u672c\u6b21\u7814\u8ba8\u73ed\u76ee\u7684\u5728\u4e8e\u8ba9\u5b66\u751f\u4e86\u89e3\u5728agency\u7814\u7a76\u9886\u57df\u7684\u6700\u65b0\u52a8\u6001\u548c\u524d\u6cbf\u95ee\u9898\u3002 \u6211\u4eec\u5c06\u9646\u7eed\u9080\u8bf7\u56fd\u5185\u5916\u672c\u9886\u57df\u7684\u5b66\u8005\u6765\u505a\u76f8\u5173\u7684\u62a5\u544a\u548c\u7cfb\u5217\u8bb2\u5ea7\u3002\u76ee\u524d\u7684\u8ba1\u5212\u5982\u4e0b\uff1a<\/p>\n<p>9\u670818\u65e5 \uff08\u5468\u4e94\uff091:30-4:20\uff1b 6\u65596B111<br \/>\n\u5218\u594b\u8363: Epistemic logic<\/p>\n<p>9\u670825\u65e5\uff08\u5468\u4e94\uff09 1:30-4:20\uff1b 6\u65596B111<br \/>\n\u5218\u594b\u8363: Public announcement logic<\/p>\n<p>10\u67088\u65e5 \uff08\u5468\u56db\uff098:00-9:30\uff1b \u65b0\u658b124<br \/>\n\u5218\u594b\u8363: Dynamic Epistemic Logic<\/p>\n<p>10\u670814\u65e5\uff08\u5468\u4e09\uff091:30-4:20\uff1b\u65b0\u658b346<br \/>\n<strong>Alexandru Baltag<\/strong>\uff1a Belief Revision<br \/>\nPlan:\u00a0belief revision, AGM, plausibility models (sphere models), the logic of conditional beliefs, updates and upgrades<\/p>\n<p>10\u670815\u65e5\uff08\u5468\u56db\uff091:30-4:20\uff1b\u65b0\u658b346<br \/>\n<strong>Alexandru Baltag<\/strong>\uff1aBelief Revision<br \/>\nPlan:\u00a0 dynamic-doxastic attitudes, safe belief (defeasible knowledge), event-plausibility models, action priority update rule, connections to belief merge (and preference aggregation)<\/p>\n<p>10\u670816\u65e5\uff08\u5468\u4e94\uff09 1:30-4:20\uff1b 6\u65596B111<br \/>\n<strong>John Perry<\/strong>: The Need for Utterances in the Philosophy of Language<br \/>\n[ click to access: <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2015\/09\/Abstract.pdf\">Abstract<\/a>, <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2015\/09\/reference-1.pdf\">reference 1<\/a>, <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2015\/09\/reference-2.pdf\">reference 2<\/a>, <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2015\/09\/reference-3.pdf\">reference 3<\/a>\u00a0]<\/p>\n<p>10\u670823 \u65e5\uff08\u5468\u4e94\uff09 1:30-4:20\uff1b 6\u65596B111<br \/>\n<strong>Alexandru Baltag<\/strong>\uff1aBelief Revision<br \/>\nPlan:\u00a0applications to: the Surprise Exam puzzle, modelling of lying; sincerity and (dis)honesty; rationality in games and the Backward Induction Paradox.<\/p>\n<p>11\u67082\u65e5\uff08\u5468\u4e00\uff09\uff1a 1:30-4:20\uff1b\u65b0\u658b346<br \/>\n<strong>Jan van Eijck<\/strong>\uff1aDEL model checking<br \/>\n\u8bfe\u7a0b\u5185\u5bb9\u4ecb\u7ecd\uff1a<a title=\"homepages.cwi.nl\/~jve\/courses\/15\/tsinghua\" href=\"http:\/\/homepages.cwi.nl\/~jve\/courses\/15\/tsinghua\">homepages.cwi.nl\/~jve\/courses\/15\/tsinghua<\/a><\/p>\n<p>11\u67084\u65e5\uff08\u5468\u4e09\uff09\uff1a1:30-4:20\uff1b\u65b0\u658b346<br \/>\n<strong>Jan van Eijck<\/strong>\uff1aDEL model checking<br \/>\n\u8bfe\u7a0b\u5185\u5bb9\u4ecb\u7ecd\uff1a<a title=\"homepages.cwi.nl\/~jve\/courses\/15\/tsinghua\" href=\"http:\/\/homepages.cwi.nl\/~jve\/courses\/15\/tsinghua\">homepages.cwi.nl\/~jve\/courses\/15\/tsinghua<\/a><\/p>\n<p>11\u67086\u65e5\uff08\u5468\u4e94\uff09\uff1a1:30-4:20\uff1b 6\u65596B111<br \/>\n<strong>Malvin Gattinger<\/strong>\uff1aDEL model checking<br \/>\n\u8bfe\u7a0b\u5185\u5bb9\u4ecb\u7ecd\uff1a<a title=\"homepages.cwi.nl\/~jve\/courses\/15\/tsinghua\" href=\"http:\/\/homepages.cwi.nl\/~jve\/courses\/15\/tsinghua\">homepages.cwi.nl\/~jve\/courses\/15\/tsinghua<\/a><\/p>\n<p>11\u67089\u65e5\uff08\u5468\u4e00\uff09\uff1a1:30-4:20\uff1b\u65b0\u658b346<br \/>\n<strong>Johan van Benthem<\/strong>\uff1aLogics of perfect information games<br \/>\nReference: <a href=\"https:\/\/mitpress.mit.edu\/books\/logic-games\">Johan van Benthem, <em>\u00a0Logic in Game<\/em>, The MIT Press, 2014<br \/>\n<\/a>\u8bfe\u7a0b\u5185\u5bb9\u4ecb\u7ecd\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2015\/09\/Johan2015Nov.pdf\">[click to access .pdf file]<\/a><\/p>\n<p>11\u670811\u65e5\uff08\u5468\u4e09\uff09\uff1a1:30-4:20\uff1b\u65b0\u658b346<br \/>\n<strong>Johan van Benthem<\/strong>\uff1aLogics of games in strategic form<\/p>\n<p>11\u670813\u65e5\uff08\u5468\u4e94\uff09\uff1a1:30-4:20\uff1b6\u65596B111<br \/>\n<strong>Johan van Benthem<\/strong>\uff1aGame logics, strategies, and automata<\/p>\n<p>11\u670816\u65e5\uff08\u5468\u4e00\uff09\uff1a1:30-4:20\uff1b\u65b0\u658b346<br \/>\n<strong>Johan van Benthem<\/strong>\uff1aOther perspectives: natural language and games<\/p>\n<p>&nbsp;<\/p>\n<p><strong>\u4e0e\u672c\u8bfe\u7a0b\u76f8\u5173\u7684\u5176\u4ed6\u6d3b\u52a8<\/strong>\uff1a<\/p>\n<ul>\n<li>\u91d1\u5cb3\u9716\u5b66\u672f\u7814\u8ba8\u4f1a\uff1a10\u670817-19\u65e5\uff1b\u90d1\u88d5\u5f64\u8bb2\u5802<\/li>\n<li>10\u670817\u65e5\u665a 7:30-9:00 \u00a0\u90d1\u88d5\u5f64\u8bb2\u5802<br \/>\nJin Yuelin Lecture \u201cThe Great Detour\u201d by\u00a0John Perry<\/li>\n<li>\u7b2c\u4e09\u5c4a\u6e05\u534e\u903b\u8f91\u8bba\u575b\uff1a \u00a010\u670820-21\u65e5 \u4e3b\u697c324\u4f1a\u8bae\u5ba4<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u8bfe\u7a0b\u7b80\u4ecb\uff1a2015\u5e74\u79cb\u5b63\u5b66\u671f\u6211\u4eec\u7ec4\u7ec7\u4e00\u6b21\u4e13\u9898\u7814\u8ba8\u73ed\uff08Tutorial on Logic and Agency\uff09 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[50,42,10],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/623"}],"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=623"}],"version-history":[{"count":17,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/623\/revisions"}],"predecessor-version":[{"id":713,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/623\/revisions\/713"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=623"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=623"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=623"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}