Date: (1-4) 4 November 2021 (14:00-17:00) (5-8) 11 November 2021 (14:00-17:00) (9-12) 18 November 2021 (14:00-17:00) (13-14) 24 November 2021 (14:00-17:00) Venue: Online through Ding talk group Speaker: Yang Liu(Cambridge University) Title: Logic in Artificial Intelligence: Decision Theory Abstract: Decision … Continue reading →
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: 关于时间的逻辑研究与逻辑学的发展是同步的。现代逻辑的发展为研究各种不同的时间概念提供了形式化工具，同时为深入研究一些时间哲学问题提供了新方法，对理解历史、选择、因果等问题具有重要意义。最基本的正规时态逻辑是正规模态逻辑的时态扩张，同时它也是伽罗瓦连接（伴随算子）的逻辑。关于正规时态逻辑的研究成果主要集中于考虑从正规模态逻辑到其时态扩张的性质保存问题，包括完全性、有穷模型性、典范性等。近期研究发现，与正规正规模态逻辑的格相比，正规时态逻辑的格更加复杂，在有穷模型性、有穷可公理化、表格性、濒表格性、波斯特完全性等方面都有不同的新结论。
Continue reading →Date: 10 November 2021 (09:30-10:30) Venue: Room 305, Renwen College, Zijingang Campus, Zhejiang University Speaker: Xiaojun Zhang (Anhui University) Title: 命题动态逻辑揽胜 Abstract: 动态逻辑是关于程序的多模态逻辑，是能够对程序进行形式化推理的多个程序逻辑的总称；命题动态逻辑是动态逻辑的子系统和基础系统，可以表征程序和独立于计算论域的命题之间的相互作用，在序列程序和系统的形式化表述和推理方面有着重要的作用，可以描述和验证程序的正确性、终止性和等价性等性质。
Continue reading →