时态认知蝉迟颈迟逻辑的判定问题
日期：2016-03-09
“人大哲学60年”系列学术活动&苍产蝉辫;
中国人民大学 科学-社会-人文论坛 第六十九期
报告题目：时态认知蝉迟颈迟逻辑的判定问题
报告人： 张 炎 博士
武汉大学哲学学院
主持人： 刘晓力 教授
国产成人午夜福利在线观看视频
评论人： 余俊伟 副教授
国产成人午夜福利在线观看视频
时 间： 2016年3月14日（周一）
14:00-16:00
地 点： 中国人民大学人文楼六层会议室（电梯对面）
报告人介绍：张炎，武汉大学哲学学院博士。研究领域为哲学逻辑和基于逻辑的人工智能。尤其关注时态逻辑、认知逻辑、stit逻辑、道义逻辑、非单调逻辑和行为理论等。发表代表作：“Decidability of logics based on an indeterministic metric tense logic”, Studia Logica, 2015.
评论人介绍：余俊伟，国产成人午夜福利在线观看视频副教授，博士生导师。主要研究领域为现代逻辑、逻辑哲学、语言哲学等。
报告摘要：
报告将讨论时态认知 stit 逻辑的判定问题。因为对知识、时间以及行为之间交互可以存在多种不同但合理的假设，所以存在多种时态认知 stit 逻辑需要考虑。这里我们使用一种统一的方法建立所有这些逻辑的强有穷框架性，从而得出它们的可判定性。这种统一的方法主要由以下两步构成：第一步采用子框架变换得出时间长度有穷的框架；然后，第二步采用滤模型的一种变体从时间长度有穷的框架构造出有穷框架。
中国人民大学现代逻辑与科学技术哲学研究所
