Home: Delta 8 Abstracts (with Slides) [New!] Programme Gallery [NEW!]
题目：命题逻辑可满足性问题及相关问题的求解方法
主讲人：蔡少伟, 中国科学院大学 (Shaowei Cai, University of Chinese Academy of Sciences)
简介：本报告主要介绍命题逻辑可满足性问题（SAT）的主要求解方法，包括完备搜索方法和局部搜索方法，并介绍SAT求解的现状和趋势。另外，还会介绍SAT相关的其他几个问题和常用的求解方法。
题目：On axiomatizations of contingency logic
主讲人：范杰, 北京师范大学 (Jie Fan, Beijing Normal University)
简介：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.
题目：Uniform interpolation in Multi-Agent Modal Logics
主讲人：方良达, 暨南大学 (Liangda Fang, Jinan University)
简介：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.
题目：Borel Functions and Separability of Metric Spaces
主讲人：顾凯，南开大学 (Kai Gu, Nankai University)
简介：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.
题目：Mixed Nash equilibria for continuous games and reverse mathematics
主讲人：彭宁宁，武汉理工大学 (Ningning Peng, Wuhan)
简介：We consider how to develop product measures in reverse mathematics with a slight technical argument, including Fubini’s 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.
(Please contact Ningning Peng personally, if you’re interested in this paper.)
题目：An Overview of Cardinals without the Axiom of Choice
主讲人：申国桢, 中国科学院大学 (Guozhen Shen, University of Chinese Academy of Sciences)
简介：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.