{"id":4584,"date":"2018-10-11T23:40:23","date_gmt":"2018-10-11T15:40:23","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=4584"},"modified":"2018-12-14T10:54:10","modified_gmt":"2018-12-14T02:54:10","slug":"woml","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2018\/10\/woml\/","title":{"rendered":"Workshop on Modal Logic (WoML’18)"},"content":{"rendered":"

\u6a21\u6001\u903b\u8f91\u7814\u8ba8\u4f1a<\/strong><\/h2>\n

\u65f6\u95f4\uff1a2018\u5e7412\u67088-9\u65e5<\/strong>
\n\u5730\u70b9\uff1a\u6d59\u6c5f\u5927\u5b66\u897f\u6eaa\u6821\u533a\uff08\u676d\u5dde\u5e02\u897f\u6e56\u533a\u5929\u76ee\u5c71\u8def148\u53f7\uff09<\/strong>
\n\u4f1a\u573a\uff1a\u6559\u5b66\u4e3b\u697c259\u5ba4<\/strong>
\n\u4f4f\u5bbf\uff1a\u5706\u6b63\u00b7\u897f\u6eaa\u5bbe\u9986\uff08\u4fdd\u4ff6\u5317\u8def1\u53f7\uff0c\u6d59\u5927\u897f\u6eaa\u6821\u533a\u4e1c\u5357\u89d2\uff09<\/strong><\/p>\n

\u4f1a\u8bae\u4e3b\u9898\uff1a<\/strong>\u672c\u6b21\u4f1a\u8bae\u53c2\u4f1a\u8005\u4ee5\u6a21\u6001\u903b\u8f91\u9886\u57df\u7684\u56fd\u5185\u7814\u7a76\u8005\u4e3a\u4e3b\u3002\u56f4\u7ed5\u6a21\u6001\u903b\u8f91\u7814\u7a76\uff08\u53ef\u6db5\u76d6\u4e0e\u4e4b\u76f8\u5173\u7684\u54f2\u5b66\u903b\u8f91\u548c\u5e94\u7528\u903b\u8f91\u7684\u4efb\u610f\u5206\u652f\uff09\uff0c\u5927\u5bb6\u5404\u81ea\u62a5\u544a\u8fd1\u671f\u7684\u7814\u7a76\u6210\u679c\u6216\u6240\u770b\u5230\u7684\u4ed6\u4eba\u6709\u4ef7\u503c\u7684\u8bba\u6587\u7b49\uff0c\u4ee5\u671f\u589e\u8fdb\u5f7c\u6b64\u7684\u5b66\u672f\u8054\u7cfb\u548c\u5408\u4f5c\u3002\u9664\u5b66\u672f\u7814\u7a76\u95ee\u9898\u5916\uff0c\u6211\u4eec\u8fd8\u5c06\u5c55\u5f00\u56fd\u5185\u6a21\u6001\u903b\u8f91\u6559\u5b66\u7b49\u76f8\u5173\u8bae\u9898\u3002<\/p>\n

\u65e5\u7a0b\u5b89\u6392\uff1a<\/strong>\u5355\u4e2a\u62a5\u544a\u65f6\u957f\u4e0a\u9650\u4e3a30\u5206\u949f\uff0c\u53ef\u6709\u989d\u5916\u7684\u8ba8\u8bba\u65f6\u95f4\u3002\uff08\u5efa\u8bae\u62a5\u544a\u4eba\u5236\u4f5c10-15\u9875\u5e7b\u706f\u7247\uff0c\u6700\u540e\u4e00\u9875\u53ef\u4ee5\u653e\u4e0a\u81ea\u5bb6\u5ba0\u7269\uff08\u732b\u3001\u72d7\u3001\u690d\u7269\u7b49\uff09\u3001\u611f\u5174\u8da3\u7684\u4e8b\u7269\u6216\u8005\u5de5\u4f5c\u6216\u751f\u6d3b\u73af\u5883\u7684\u7167\u7247:-P\uff09<\/p>\n\n\n\n\n\t\n\n\t\n\t\n\t\n\t\n\t\n\t\n\t
\u5f00\u59cb\u65f6\u95f4<\/th>\u5468\u516d<\/th>\u5468\u65e5<\/th>\n<\/tr>\n<\/thead>\n
09:00<\/td>\u741a\u51e4\u9b41\uff08\u5317\u4eac\u5e08\u8303\u5927\u5b66\uff09
\nCoalitional logic on isolated actions<\/td>		\u949f\u76db\u9633\uff08\u5317\u4eac\u5927\u5b66\uff09
\nOn relational semantics of propositional logic<\/td>\n<\/tr>\n
09:50<\/td>\u674e\u5ef6\u519b\uff08\u5357\u5f00\u5927\u5b66\uff09
\nSingle-agent knowing how logics motivated by planning<\/td>		\u5f90\u5eb7\uff08\u6d59\u6c5f\u6c34\u5229\u6c34\u7535\u5b66\u9662\uff09
\n\u7fa4\u4f53\u7b80\u5355\u5ba3\u544a\u903b\u8f91<\/td>\n<\/tr>\n
10:40<\/td>\u5218\u65b0\u6587\uff08\u4e2d\u56fd\u793e\u4f1a\u79d1\u5b66\u9662\uff09
\nPeirce's Puzzle<\/td>		\u4fde\u73fa\u534e\uff08\u6e05\u534e\u5927\u5b66\uff09
\nOn some non-well-founded modal sequent calculi<\/td>\n<\/tr>\n
<\/td><\/td><\/td>\n<\/tr>\n
13:30<\/td>\u9a6c\u660e\u8f89\uff08\u4e2d\u5c71\u5927\u5b66\uff09
\nWeakenings of Belnap-Dunn logic<\/td>		<\/td>\n<\/tr>\n
14:20<\/td>\u738b\u8f76\uff08\u6d59\u6c5f\u5927\u5b66\uff09
\nLogics of allies and enemies:
\na formal approach to the social balance theory<\/td>		<\/td>\n<\/tr>\n
15:10<\/td>\u6587\u5b66\u950b\uff08\u4e2d\u5c71\u5927\u5b66\uff09
\n\u6a21\u6001\u903b\u8f91\u6559\u5b66\u548c\u6559\u6750\u4e2d\u6613\u72af\u7684\u51e0\u4e2a\u9519\u8bef<\/td>		<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n

\u5408\u5f71\uff1a<\/strong><\/p>\nngg_shortcode_0_placeholder\n

 <\/p>\n

\u70b9\u6b64\u8bbf\u95ee2017\u5e74\u4f1a\u8bae\u7f51\u7ad9<\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

\u6a21\u6001\u903b\u8f91\u7814\u8ba8\u4f1a \u65f6\u95f4\uff1a2018\u5e7412\u67088-9\u65e5 \u5730\u70b9\uff1a\u6d59\u6c5f\u5927\u5b66\u897f\u6eaa\u6821\u533a\uff08\u676d\u5dde\u5e02\u897f\u6e56\u533a\u5929\u76ee\u5c71\u8def148\u53f7\uff09 \u4f1a\u573a\uff1a\u6559\u5b66\u4e3b\u697c259\u5ba4 \u4f4f\u5bbf\uff1a\u5706\u6b63\u00b7\u897f\u6eaa\u5bbe\u9986\uff08\u4fdd\u4ff6\u5317\u8def1\u53f7\uff0c\u6d59\u5927\u897f\u6eaa\u6821\u533a\u4e1c\u5357\u89d2\uff09 \u4f1a\u8bae\u4e3b\u9898\uff1a\u672c\u6b21\u4f1a\u8bae\u53c2\u4f1a\u8005\u4ee5\u6a21\u6001\u903b\u8f91\u9886\u57df\u7684\u56fd\u5185\u7814\u7a76\u8005\u4e3a\u4e3b\u3002\u56f4\u7ed5\u6a21\u6001\u903b\u8f91\u7814\u7a76\uff08\u53ef\u6db5\u76d6\u4e0e\u4e4b\u76f8\u5173\u7684\u54f2\u5b66\u903b\u8f91\u548c\u5e94\u7528\u903b\u8f91\u7684\u4efb\u610f\u5206\u652f\uff09\uff0c\u5927\u5bb6\u5404\u81ea\u62a5\u544a\u8fd1\u671f\u7684\u7814\u7a76\u6210\u679c\u6216\u6240\u770b\u5230\u7684\u4ed6\u4eba\u6709\u4ef7\u503c\u7684\u8bba\u6587\u7b49\uff0c\u4ee5\u671f\u589e\u8fdb\u5f7c\u6b64\u7684\u5b66\u672f\u8054\u7cfb\u548c\u5408\u4f5c\u3002\u9664\u5b66\u672f\u7814\u7a76\u95ee\u9898\u5916\uff0c\u6211\u4eec\u8fd8\u5c06\u5c55\u5f00\u56fd\u5185\u6a21\u6001\u903b\u8f91\u6559\u5b66\u7b49\u76f8\u5173\u8bae\u9898\u3002 \u65e5\u7a0b\u5b89\u6392\uff1a\u5355\u4e2a\u62a5\u544a\u65f6\u957f\u4e0a\u9650\u4e3a30\u5206\u949f\uff0c\u53ef\u6709\u989d\u5916\u7684\u8ba8\u8bba\u65f6\u95f4\u3002\uff08\u5efa\u8bae\u62a5\u544a\u4eba\u5236\u4f5c10-15\u9875\u5e7b\u706f\u7247\uff0c\u6700\u540e\u4e00\u9875\u53ef\u4ee5\u653e\u4e0a\u81ea\u5bb6\u5ba0\u7269\uff08\u732b\u3001\u72d7\u3001\u690d\u7269\u7b49\uff09\u3001\u611f\u5174\u8da3\u7684\u4e8b\u7269\u6216\u8005\u5de5\u4f5c\u6216\u751f\u6d3b\u73af\u5883\u7684\u7167\u7247:-P\uff09 \u5408\u5f71\uff1a   \u70b9\u6b64\u8bbf\u95ee2017\u5e74\u4f1a\u8bae\u7f51\u7ad9<\/p>\n Continue reading →<\/span><\/a>","protected":false},"author":1,"featured_media":4599,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[2],"tags":[],"class_list":["post-4584","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-workshops"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4584","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=4584"}],"version-history":[{"count":20,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4584\/revisions"}],"predecessor-version":[{"id":4928,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4584\/revisions\/4928"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/4599"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=4584"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=4584"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=4584"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}