论文题目：一个时态认知逻辑的新系统——基于对认知算子的时态化处理

报  告  人：张玉志（2015级博士生）

地       点：逻辑与智能研究中心教室

时       间：2018年9月20日19:00--21:00

摘       要：新系统S5^tC^t将认知与时态融合进同一个算子中，个体知识、普遍知识和公共知识都被时间点所标注。S5^tC^t系统认为，每个个体(群体)都可以完美回忆自己在之前所有时刻上的认知状况。利用典范模型技术可以证明，S5^tC^t系统在等价且单调递减的框架类上是完全的。

关键词：时态认知逻辑  S5^tC^t系统  完美回忆能力  记忆公理