题目：时态认知stit逻辑的判定问题

主讲人：张炎 博士（武汉大学哲学院）

主持人： 刘晓力 教授（中国人民大学哲学院）

评论人： 余俊伟 副教授（中国人民大学哲学院）

时间： 2016年3月14日（周一）14:00-16:00 

地点：中国人民大学人文楼六层会议室

摘要：报告将讨论时态认知 stit 逻辑的判定问题。因为对知识、时间以及行为之间交互可以存在多种不同但合理的假设，所以存在多种时态认知 stit 逻辑需要考虑。这里我们使用一种统一的方法建立所有这些逻辑的强有穷框架性，从而得出它们的可判定性。这种统一的方法主要由以下两步构成：第一步采用子框架变换得出时间长度有穷的框架；然后，第二步采用滤模型的一种变体从时间长度有穷的框架构造出有穷框架。