Date: 10 November 2021 (10:30-11:30)
Venue: Room 305, Renwen College, Zijingang Campus, Zhejiang University
Speaker: Minghui Ma (Sun Yat-Sen University)
Title: 正规时态逻辑研究进展
Abstract: 关于时间的逻辑研究与逻辑学的发展是同步的。现代逻辑的发展为研究各种不同的时间概念提供了形式化工具，同时为深入研究一些时间哲学问题提供了新方法，对理解历史、选择、因果等问题具有重要意义。最基本的正规时态逻辑是正规模态逻辑的时态扩张，同时它也是伽罗瓦连接（伴随算子）的逻辑。关于正规时态逻辑的研究成果主要集中于考虑从正规模态逻辑到其时态扩张的性质保存问题，包括完全性、有穷模型性、典范性等。近期研究发现，与正规正规模态逻辑的格相比，正规时态逻辑的格更加复杂，在有穷模型性、有穷可公理化、表格性、濒表格性、波斯特完全性等方面都有不同的新结论。