西溪逻辑论坛第147期

主讲人：陈锦盛博士 （中山大学）

时间：2021年1月8日（10:00-12:00）

地点：浙江大学紫金港校区西区人文学院大楼613室

摘要：

与局部模态后承关系一样，全局模态后承关系是公式集合上的二元关系。文献中只有局部模态后承关系的证明论系统，本报告介绍一个全局模态后承关系的甘岑式矢列演算，并证明切割消除定理以及和可判定性、插值性质相关的定理。这些内容已在期刊Studia Logica上发表。
 

主办：浙江大学哲学系

承办：浙江大学逻辑与认知研究所、浙江大学“双脑计划”-“逻辑、认知与人工智能”交叉创新团队