{"id":3856,"date":"2018-01-17T15:15:30","date_gmt":"2018-01-17T07:15:30","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?page_id=3856"},"modified":"2020-05-20T09:12:47","modified_gmt":"2020-05-20T01:12:47","slug":"abstract-d8","status":"publish","type":"page","link":"https:\/\/www.zlaire.net\/events\/previous\/delta-8\/abstract-d8\/","title":{"rendered":"Abstracts (with Slides) [New!]"},"content":{"rendered":"

Home: Delta 8<\/a><\/span>    Abstracts (with Slides) [New!]<\/a><\/span>    Programme<\/a><\/span>    Gallery [NEW!]<\/a><\/span><\/p>\n

\u9898\u76ee\uff1a<\/strong>\u547d\u9898\u903b\u8f91\u53ef\u6ee1\u8db3\u6027\u95ee\u9898\u53ca\u76f8\u5173\u95ee\u9898\u7684\u6c42\u89e3\u65b9\u6cd5
\n\u4e3b\u8bb2\u4eba\uff1a<\/strong>\u8521\u5c11\u4f1f, <\/a>\u4e2d\u56fd\u79d1\u5b66\u9662\u5927\u5b66 (Shaowei Cai, <\/a>University of Chinese Academy of Sciences)
\n\u7b80\u4ecb\uff1a<\/strong>\u672c\u62a5\u544a\u4e3b\u8981\u4ecb\u7ecd\u547d\u9898\u903b\u8f91\u53ef\u6ee1\u8db3\u6027\u95ee\u9898\uff08SAT\uff09\u7684\u4e3b\u8981\u6c42\u89e3\u65b9\u6cd5\uff0c\u5305\u62ec\u5b8c\u5907\u641c\u7d22\u65b9\u6cd5\u548c\u5c40\u90e8\u641c\u7d22\u65b9\u6cd5\uff0c\u5e76\u4ecb\u7ecdSAT\u6c42\u89e3\u7684\u73b0\u72b6\u548c\u8d8b\u52bf\u3002\u53e6\u5916\uff0c\u8fd8\u4f1a\u4ecb\u7ecdSAT\u76f8\u5173\u7684\u5176\u4ed6\u51e0\u4e2a\u95ee\u9898\u548c\u5e38\u7528\u7684\u6c42\u89e3\u65b9\u6cd5\u3002<\/p>\n

 <\/p>\n

Slides: Shaowei Cai<\/a><\/strong><\/p>\n

 <\/p>\n

\u9898\u76ee\uff1a<\/strong>On axiomatizations of contingency logic
\n\u4e3b\u8bb2\u4eba\uff1a<\/strong>\u8303\u6770, \u5317\u4eac\u5e08\u8303\u5927\u5b66 (Jie Fan, Beijing Normal University)
\n\u7b80\u4ecb\uff1a<\/strong>Contingency logic is an extension of propositional logic with contingency (or noncontingency) as a sole primitive modality. The contingency modality can be expressed in terms of the necessity modality, but not the other way around. In contrast to standard modal logic, contingency logic is non-normal, less expressive, and cannot define many usual frame properties. These features make axiomatizing contingency logic over various frame classes nontrivial. In this talk, we report the work on the axiomatizations of contingency logic over various Kripke frame classes and also over various neighborhood frame classes.<\/p>\n

 <\/p>\n

Slides: Jie Fan<\/a><\/strong><\/p>\n

 <\/p>\n

\u9898\u76ee\uff1a<\/strong>Uniform interpolation in Multi-Agent Modal Logics
\n\u4e3b\u8bb2\u4eba\uff1a<\/strong>\u65b9\u826f\u8fbe, \u66a8\u5357\u5927\u5b66 (Liangda Fang, Jinan University)
\n\u7b80\u4ecb\uff1a<\/strong>In this talk, we report some results about uniform interpolation in multi-agent modal logics. For the logics of Kn, Dn, Tn, K45n, KD45n and S5n, we propose a syntactical way of computing uniform interpolant based on the canonical formulas of modal logics introduced by Moss. Thus, we show that, these logics have uniform interpolation. We further generalize the above results to the case with common knowledge of propositional formulas, i.e., KnPC, DnPC, TnPC, K45nPC, KD45nPC and S5nPC.<\/p>\n

 <\/p>\n

Slides: Liangda Fang<\/a><\/strong><\/p>\n

 <\/p>\n

\u9898\u76ee\uff1a<\/strong>Borel Functions and Separability of Metric Spaces
\n\u4e3b\u8bb2\u4eba\uff1a<\/strong>\u987e\u51ef\uff0c\u5357\u5f00\u5927\u5b66 (Kai Gu, Nankai University)
\n\u7b80\u4ecb\uff1a<\/strong>Let $X$ and $Y$ be metric spaces with $X$ separable, and let $f: X \\rightarrow Y$ be a Borel function. Is then $f(X)$ separable? In this paper, we prove that this problem is independent of ZFC. We also give a partial answer of an open problem which was asked by A. H. Stone.<\/p>\n

 <\/p>\n

Slides: Gu Kai<\/a><\/strong><\/p>\n

 <\/p>\n

\u9898\u76ee\uff1a<\/strong>Mixed Nash equilibria for continuous games and reverse mathematics
\n\u4e3b\u8bb2\u4eba\uff1a<\/strong>\u5f6d\u5b81\u5b81\uff0c\u6b66\u6c49\u7406\u5de5\u5927\u5b66 (Ningning Peng, Wuhan)
\n\u7b80\u4ecb\uff1a<\/strong>We consider how to develop product measures in reverse mathematics with a slight technical argument, including Fubini\u2019s theorem. We show that weak compactness of probability measures on a compact space is equivalent to arithmetical comprehension over RCA0. As an application of these results, we also show that any continuous game has a mixed Nash equlibrium is provable in ACA0.<\/p>\n

(Please contact Ningning Peng personally, if you’re interested in this paper.)<\/p>\n

 <\/p>\n

\u9898\u76ee\uff1a<\/strong>An Overview of Cardinals without the Axiom of Choice
\n\u4e3b\u8bb2\u4eba\uff1a<\/strong>\u7533\u56fd\u6862,<\/a> \u4e2d\u56fd\u79d1\u5b66\u9662\u5927\u5b66 (Guozhen Shen<\/a>, University of Chinese Academy of Sciences)
\n\u7b80\u4ecb\uff1a<\/strong>During this talk, we shall survey known theorems about (non-well-ordered) cardinals in ZF, including Lindenbaum and Tarski’s theorem that na=nb only if a=b, generalizations of Cantor’s theorem in ZF, the relationship between GCH and AC, and Lauchli’s theorem that 2^(2^a)+2^(2^a)=2^(2^a). Along the way, we list several open problems and conjectures.<\/p>\n

 <\/p>\n

Slides: Guozhen Shen<\/a><\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"

Home: Delta 8    Abstracts (with Slides) [New!]    Programme    Gallery [NEW!] \u9898\u76ee\uff1a\u547d\u9898\u903b\u8f91\u53ef\u6ee1\u8db3\u6027\u95ee\u9898\u53ca\u76f8\u5173\u95ee\u9898\u7684\u6c42\u89e3\u65b9\u6cd5 \u4e3b\u8bb2\u4eba\uff1a\u8521\u5c11\u4f1f, \u4e2d\u56fd\u79d1\u5b66\u9662\u5927\u5b66 (Shaowei Cai, University of Chinese Academy of Sciences) \u7b80\u4ecb\uff1a\u672c\u62a5\u544a\u4e3b\u8981\u4ecb\u7ecd\u547d\u9898\u903b\u8f91\u53ef\u6ee1\u8db3\u6027\u95ee\u9898\uff08SAT\uff09\u7684\u4e3b\u8981\u6c42\u89e3\u65b9\u6cd5\uff0c\u5305\u62ec\u5b8c\u5907\u641c\u7d22\u65b9\u6cd5\u548c\u5c40\u90e8\u641c\u7d22\u65b9\u6cd5\uff0c\u5e76\u4ecb\u7ecdSAT\u6c42\u89e3\u7684\u73b0\u72b6\u548c\u8d8b\u52bf\u3002\u53e6\u5916\uff0c\u8fd8\u4f1a\u4ecb\u7ecdSAT\u76f8\u5173\u7684\u5176\u4ed6\u51e0\u4e2a\u95ee\u9898\u548c\u5e38\u7528\u7684\u6c42\u89e3\u65b9\u6cd5\u3002   Slides: Shaowei Cai   \u9898\u76ee\uff1aOn axiomatizations of contingency logic \u4e3b\u8bb2\u4eba\uff1a\u8303\u6770, \u5317\u4eac\u5e08\u8303\u5927\u5b66 (Jie Fan, Beijing Normal University) …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":3681,"parent":3683,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-3856","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/3856","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/page"}],"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=3856"}],"version-history":[{"count":10,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/3856\/revisions"}],"predecessor-version":[{"id":6372,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/3856\/revisions\/6372"}],"up":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/3683"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/3681"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=3856"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}