计算机学院系列讲座名家讲坛第30期——Bundled Fragments of First-order Modal Logic

报告题目(Title)：Bundled Fragments of First-order Modal Logic

时间(Date & Time)：2025.9.22; 3:30-5:30pm

地点(Location)：理科一号楼1621（燕园校区） Room 1621, Science Building #1 (Yanyuan)

腾讯会议：220240542

主讲人(Speaker)：王彦晶

邀请人(Host)：詹乃军

报告摘要(Abstract)：

First-order modal logic (FOML) provides a natural logical language for reasoning about modal attitudes, while retaining the richness of quantification for referring to predicates over domains. However, FOML is notoriously bad computationally, as most of the useful fragments of the logic are undecidable, over many model classes. Over the years, only a few fragments (such as the monodic fragment) have been shown to be decidable under heavy restrictions on the syntax. In this talk, I survey our recent work on the newly discovered bundled fragments based on constructions bundling quantifiers and modalities together. The idea came from our earlier work on epistemic logics of know-how/why/what, and it led us to many expressive and decidable fragments of FOML without restricting the number of variables or the arity of the predicates. I will give an almost complete picture of the (un)decidability of all the basic bundled fragments of FOML over increasing and constant domain models. I conclude with some future directions.

主讲人简介(Bio)：

王彦晶，阿姆斯特丹大学逻辑学博士，现任北京大学哲学系长聘教授、副系主任，北京大学逻辑、语言与认知中心主任，中国逻辑学会副会长，中国数学会数理逻辑专业委员会副主任，Journal of Philosophical Logic及Journal of Logic, Language and Information副主编，入选国家“万人计划”哲学与社会科学领军人才。专长为模态逻辑的基础理论及其在哲学、理论计算机以及人工智能中的应用。个人主页：wangyanjing.com

欢迎关注计算机学院微信公众号，了解更多讲座信息！

北京大学计算机学院