{"id":5314,"date":"2019-04-20T09:40:11","date_gmt":"2019-04-20T01:40:11","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=5314"},"modified":"2019-07-02T15:16:24","modified_gmt":"2019-07-02T07:16:24","slug":"fengkui-ju","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2019\/04\/fengkui-ju\/","title":{"rendered":"Fengkui Ju: CTL with Dynamic Contexts"},"content":{"rendered":"<p>\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c112\u671f<\/p>\n<p>Date: 6 May 2019 (09:30-11:30)<br \/>\nVenue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University<br \/>\nSpeaker: Fengkui Ju (Beijing Normal University)<br \/>\nTitle: \u5e26\u52a8\u6001\u8bed\u5883\u7684\u8ba1\u7b97\u6811\u903b\u8f91 (CTL with Dynamic Contexts)<br \/>\nAbstract:<br \/>\n\u6761\u4ef6\u53e5\u7406\u8bba\u6709\u5f88\u591a\u79cd\uff0c\u9650\u5236\u5b50\u7406\u8bba\u662f\u5176\u4e2d\u7684\u4e00\u79cd\uff0c\u6839\u636e\u8fd9\u4e2a\u7406\u8bba\uff0c\u201c\u5982\u679cA\u201d\u662f\u4e00\u4e2a\u9650\u5236\u8bed\u5883\u7684\u9650\u5236\u5b50\u3002\u9650\u5236\u5b50\u7406\u8bba\u53ef\u4ee5\u89e3\u51b3\u8bb8\u591a\u6d89\u53ca\u5230\u6761\u4ef6\u53e5\u7684\u903b\u8f91\u8c1c\u9898\u3002\u5c06\u6765\u5f0f\u6761\u4ef6\u53e5\u662f\u90a3\u4e9b\u524d\u4ef6\u548c\u540e\u4ef6\u90fd\u6d89\u53ca\u5230\u5c06\u6765\u7684\u6761\u4ef6\u53e5\u3002\u672c\u5de5\u4f5c\u6784\u9020\u4e86\u4e00\u4e2a\u903b\u8f91CTL_{DC}\uff0c\u7528\u4ee5\u523b\u5212\u6d89\u53ca\u5c06\u6765\u5f0f\u6761\u4ef6\u53e5\u7684\u63a8\u7406\u3002CTL_{DC}\u662f\u8ba1\u7b97\u6811\u903b\u8f91CTL\u7684\u6269\u5f20\uff0c\u4e0eCTL\u76f8\u6bd4\uff0cCTL_{DC}\u7684\u8bed\u4e49\u5e26\u6709\u8bed\u5883\uff0c\u8bed\u8a00\u5e26\u6709\u8bed\u5883\u6539\u53d8\u7b97\u5b50\u3002\u672c\u5de5\u4f5c\u662f\u4e0e\u65af\u5fb7\u54e5\u5c14\u6469\u5927\u5b66\u54f2\u5b66\u7cfb\u7684Valentin Goranko\u5408\u4f5c\u8fdb\u884c\u7684\u3002<\/p>\n<p>\u9605\u8bfb\u6750\u6599\uff1a<a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2019\/04\/A-logic-for-temporal-conditionals-and-a-solution-to-the-Sea-Battle-Puzzle.pdf\">\u6587\u7ae01<\/a><\/p>\n<p>(Supported by the Fundamental Research Funds for the Central Universities)<\/p>\n<p>&nbsp;<\/p>\nngg_shortcode_0_placeholder\n","protected":false},"excerpt":{"rendered":"<p>\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c112\u671f Date: 6 May 2019 (09:30-11:30) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Fengkui Ju (Beijing Normal University) Title: \u5e26\u52a8\u6001\u8bed\u5883\u7684\u8ba1\u7b97\u6811\u903b\u8f91 (CTL with Dynamic Contexts) Abstract: \u6761\u4ef6\u53e5\u7406\u8bba\u6709\u5f88\u591a\u79cd\uff0c\u9650\u5236\u5b50\u7406\u8bba\u662f\u5176\u4e2d\u7684\u4e00\u79cd\uff0c\u6839\u636e\u8fd9\u4e2a\u7406\u8bba\uff0c\u201c\u5982\u679cA\u201d\u662f\u4e00\u4e2a\u9650\u5236\u8bed\u5883\u7684\u9650\u5236\u5b50\u3002\u9650\u5236\u5b50\u7406\u8bba\u53ef\u4ee5\u89e3\u51b3\u8bb8\u591a\u6d89\u53ca\u5230\u6761\u4ef6\u53e5\u7684\u903b\u8f91\u8c1c\u9898\u3002\u5c06\u6765\u5f0f\u6761\u4ef6\u53e5\u662f\u90a3\u4e9b\u524d\u4ef6\u548c\u540e\u4ef6\u90fd\u6d89\u53ca\u5230\u5c06\u6765\u7684\u6761\u4ef6\u53e5\u3002\u672c\u5de5\u4f5c\u6784\u9020\u4e86\u4e00\u4e2a\u903b\u8f91CTL_{DC}\uff0c\u7528\u4ee5\u523b\u5212\u6d89\u53ca\u5c06\u6765\u5f0f\u6761\u4ef6\u53e5\u7684\u63a8\u7406\u3002CTL_{DC}\u662f\u8ba1\u7b97\u6811\u903b\u8f91CTL\u7684\u6269\u5f20\uff0c\u4e0eCTL\u76f8\u6bd4\uff0cCTL_{DC}\u7684\u8bed\u4e49\u5e26\u6709\u8bed\u5883\uff0c\u8bed\u8a00\u5e26\u6709\u8bed\u5883\u6539\u53d8\u7b97\u5b50\u3002\u672c\u5de5\u4f5c\u662f\u4e0e\u65af\u5fb7\u54e5\u5c14\u6469\u5927\u5b66\u54f2\u5b66\u7cfb\u7684Valentin Goranko\u5408\u4f5c\u8fdb\u884c\u7684\u3002 \u9605\u8bfb\u6750\u6599\uff1a\u6587\u7ae01 (Supported by the Fundamental Research Funds for the <span class=\"excerpt-dots\">&hellip;<\/span> <a class=\"more-link\" href=\"https:\/\/www.zlaire.net\/events\/previous\/2019\/04\/fengkui-ju\/\"><span class=\"more-msg\">Continue reading &rarr;<\/span><\/a><\/p>\n","protected":false},"author":11,"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-5314","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\/5314","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\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=5314"}],"version-history":[{"count":8,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/5314\/revisions"}],"predecessor-version":[{"id":5507,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/5314\/revisions\/5507"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=5314"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=5314"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=5314"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}