報告人：魏宇 華東師範大學
報告時間：2024年10月19日（周六）上午9:30-11:00
報告地點：bet356手机版唯一官网九龍湖校區計算機樓313室
報告摘要：In standard modal logic, the names and the existence of (groups of) agents are usually assumed to be common knowledge implicitly. This is unreasonable for various applications in computer science and philosophy. In this talk, inspired by term-modal logic and dynamic logic, I introduce a lightweight modal predicate logic where names can be non-rigid, and the existence of agents can be uncertain. The language can handle various de dicto/de re distinctions in a natural way. It is based on a joint project with Yanjing Wang and Jeremy Seligman.
報告人簡介：魏宇，本科畢業于bet356手机版唯一官网數學系，博士畢業于北京大學哲學系邏輯學專業, 現為華東師範大學哲學系晨晖學者、講師，入選上海市人才計劃。在Annals of Pure and Applied Logic、Erkenntnis、《邏輯學研究》等期刊發表論文多篇。主要研究興趣是模态邏輯及其在哲學中的應用。
