{"id":7934,"date":"2021-11-04T16:06:32","date_gmt":"2021-11-04T08:06:32","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=7934"},"modified":"2021-11-04T16:20:31","modified_gmt":"2021-11-04T08:20:31","slug":"xiaojun-zhang-the-overview-of-propositional-dynamic-logic","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2021\/11\/xiaojun-zhang-the-overview-of-propositional-dynamic-logic\/","title":{"rendered":"Xiaojun Zhang: The overview of propositional dynamic logic"},"content":{"rendered":"<p>Date: 10 November 2021 (09:30-10:30)<br \/>\nVenue: Room 305, Renwen College, Zijingang Campus, Zhejiang University<br \/>\nSpeaker: Xiaojun Zhang (Anhui University)<br \/>\nTitle: \u547d\u9898\u52a8\u6001\u903b\u8f91\u63fd\u80dc<br \/>\nAbstract: \u52a8\u6001\u903b\u8f91\u662f\u5173\u4e8e\u7a0b\u5e8f\u7684\u591a\u6a21\u6001\u903b\u8f91\uff0c\u662f\u80fd\u591f\u5bf9\u7a0b\u5e8f\u8fdb\u884c\u5f62\u5f0f\u5316\u63a8\u7406\u7684\u591a\u4e2a\u7a0b\u5e8f\u903b\u8f91\u7684\u603b\u79f0\uff1b\u547d\u9898\u52a8\u6001\u903b\u8f91\u662f\u52a8\u6001\u903b\u8f91\u7684\u5b50\u7cfb\u7edf\u548c\u57fa\u7840\u7cfb\u7edf\uff0c\u53ef\u4ee5\u8868\u5f81\u7a0b\u5e8f\u548c\u72ec\u7acb\u4e8e\u8ba1\u7b97\u8bba\u57df\u7684\u547d\u9898\u4e4b\u95f4\u7684\u76f8\u4e92\u4f5c\u7528\uff0c\u5728\u5e8f\u5217\u7a0b\u5e8f\u548c\u7cfb\u7edf\u7684\u5f62\u5f0f\u5316\u8868\u8ff0\u548c\u63a8\u7406\u65b9\u9762\u6709\u7740\u91cd\u8981\u7684\u4f5c\u7528\uff0c\u53ef\u4ee5\u63cf\u8ff0\u548c\u9a8c\u8bc1\u7a0b\u5e8f\u7684\u6b63\u786e\u6027\u3001\u7ec8\u6b62\u6027\u548c\u7b49\u4ef7\u6027\u7b49\u6027\u8d28\u3002<\/p>\n<p><img decoding=\"async\" class=\"alignnone size-full wp-image-7938 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2021\/11\/b6cc25718d3d44f0a34a67b8cf40ccc.png\" alt=\"\" width=\"2480\" height=\"3508\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2021\/11\/b6cc25718d3d44f0a34a67b8cf40ccc.png 2480w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2021\/11\/b6cc25718d3d44f0a34a67b8cf40ccc-212x300.png 212w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2021\/11\/b6cc25718d3d44f0a34a67b8cf40ccc-1448x2048.png 1448w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2021\/11\/b6cc25718d3d44f0a34a67b8cf40ccc-768x1086.png 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2021\/11\/b6cc25718d3d44f0a34a67b8cf40ccc-1086x1536.png 1086w\" data-sizes=\"(max-width: 2480px) 100vw, 2480px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 2480px; --smush-placeholder-aspect-ratio: 2480\/3508;\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Date: 10 November 2021 (09:30-10:30) Venue: Room 305, Renwen College, Zijingang Campus, Zhejiang University Speaker: Xiaojun Zhang (Anhui University) Title: \u547d\u9898\u52a8\u6001\u903b\u8f91\u63fd\u80dc Abstract: \u52a8\u6001\u903b\u8f91\u662f\u5173\u4e8e\u7a0b\u5e8f\u7684\u591a\u6a21\u6001\u903b\u8f91\uff0c\u662f\u80fd\u591f\u5bf9\u7a0b\u5e8f\u8fdb\u884c\u5f62\u5f0f\u5316\u63a8\u7406\u7684\u591a\u4e2a\u7a0b\u5e8f\u903b\u8f91\u7684\u603b\u79f0\uff1b\u547d\u9898\u52a8\u6001\u903b\u8f91\u662f\u52a8\u6001\u903b\u8f91\u7684\u5b50\u7cfb\u7edf\u548c\u57fa\u7840\u7cfb\u7edf\uff0c\u53ef\u4ee5\u8868\u5f81\u7a0b\u5e8f\u548c\u72ec\u7acb\u4e8e\u8ba1\u7b97\u8bba\u57df\u7684\u547d\u9898\u4e4b\u95f4\u7684\u76f8\u4e92\u4f5c\u7528\uff0c\u5728\u5e8f\u5217\u7a0b\u5e8f\u548c\u7cfb\u7edf\u7684\u5f62\u5f0f\u5316\u8868\u8ff0\u548c\u63a8\u7406\u65b9\u9762\u6709\u7740\u91cd\u8981\u7684\u4f5c\u7528\uff0c\u53ef\u4ee5\u63cf\u8ff0\u548c\u9a8c\u8bc1\u7a0b\u5e8f\u7684\u6b63\u786e\u6027\u3001\u7ec8\u6b62\u6027\u548c\u7b49\u4ef7\u6027\u7b49\u6027\u8d28\u3002<\/p>\n <a class=\"more-link\" href=\"https:\/\/www.zlaire.net\/events\/previous\/2021\/11\/xiaojun-zhang-the-overview-of-propositional-dynamic-logic\/\"><span class=\"more-msg\">Continue reading &rarr;<\/span><\/a>","protected":false},"author":13,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-7934","post","type-post","status-publish","format-standard","hentry","category-invited-talks"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/7934","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\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=7934"}],"version-history":[{"count":3,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/7934\/revisions"}],"predecessor-version":[{"id":7944,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/7934\/revisions\/7944"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=7934"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=7934"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=7934"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}