{"id":1679,"date":"2019-10-11T10:05:32","date_gmt":"2019-10-11T02:05:32","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=1679"},"modified":"2019-10-11T10:05:37","modified_gmt":"2019-10-11T02:05:37","slug":"talk-local-fact-change-logic-memory-logic-and-expressive-power","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/talk-local-fact-change-logic-memory-logic-and-expressive-power\/","title":{"rendered":"[talk] Local Fact Change Logic,  Memory Logic and Expressive Power"},"content":{"rendered":"<blockquote><p>Time: 2019 Oct 16,\u00a016:30-18:00<br \/>\nVenue: \u65b0\u658b105, Tsinghua Univ.<\/p><\/blockquote>\n<p><strong>Speaker:<\/strong>\u00a0 Declan Thompson (Stanford University)<\/p>\n<figure id=\"attachment_1680\" aria-describedby=\"caption-attachment-1680\" style=\"width: 297px\" class=\"wp-caption alignnone\"><img decoding=\"async\" loading=\"lazy\" class=\" wp-image-1680\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/10\/declan.jpg\" alt=\"\" width=\"297\" height=\"396\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/10\/declan.jpg 750w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/10\/declan-150x200.jpg 150w\" sizes=\"(max-width: 297px) 100vw, 297px\" \/><figcaption id=\"caption-attachment-1680\" class=\"wp-caption-text\">OLYMPUS DIGITAL CAMERA<\/figcaption><\/figure>\n<p><strong>Abstract<\/strong>:<\/p>\n<p style=\"padding-left: 40px;\">The comparative expressive power between two logics is generally measured with respect to the existence of a translation from one to the other. A common technique for showing two logics to have different strengths is by demonstration a pair of models which one of the logics can distinguish, and the other cannot. In this talk, I will demonstrate an instance where these two approaches come apart. The focus will be on comparisons between local fact change and memory logic, two modal logics with model change operators.<\/p>\n<p><strong>CV<\/strong>:<\/p>\n<p style=\"padding-left: 40px; text-align: left;\"><span class=\"md-plain\">\u00a0Declan Thompson<\/span><span class=\"md-plain\"><span lang=\"ZH-CN\">\u73b0\u4e3a\u65af\u5766\u798f\u5927\u5b66\u54f2\u5b66\u7cfb\u535a\u58eb\u751f\u3002\u4ed6\u7684\u4e3b\u8981\u7814\u7a76\u5174\u8da3\u4e3a\u903b\u8f91\u5b66\u53ca\u5176\u5728\u8ba4\u8bc6\u8bba\u7b49\u9886\u57df\u7684\u5e94\u7528\u3002\u672c\u6b21\u62a5\u544a\uff0c\u4ed6\u5c06\u901a\u8fc7\u6bd4\u8f83\u7814\u7a76\u4e24\u79cd\u903b\u8f91\uff0c\u5373\u5c40\u90e8\u4e8b\u5b9e\u53d8\u66f4\u903b\u8f91\u4ee5\u53ca\u8bb0\u5fc6\u903b\u8f91\uff0c\u63a2\u8ba8\u903b\u8f91\u5b66\u4e2d\u5173\u4e8e\u903b\u8f91\u7cfb\u7edf\u8868\u8fbe\u529b\u7684\u95ee\u9898\u3002<\/span><\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Time: 2019 Oct 16,\u00a016:30-18:00 Venue: \u65b0\u658b105, Tsinghua U [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1679"}],"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=1679"}],"version-history":[{"count":3,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1679\/revisions"}],"predecessor-version":[{"id":1683,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1679\/revisions\/1683"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=1679"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=1679"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=1679"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}