张炎系 部：逻辑学教研室
职 称：讲师
邮 箱：yanzhangsym@gmail.com

个人简介教学课程教学科研成果
个人简介中国人民大学哲学院讲师，武汉大学哲学学士、硕士、博士。研究领域主要包括：
?逻辑学：
o哲学逻辑：模态逻辑、行动逻辑、道义逻辑、时态逻辑、条件句逻辑、logic of reasons 等
o非单调逻辑：缺省逻辑、非单调模态逻辑、circumscription等
?人工智能：知识表示与常识推理、逻辑程序、自动推理、认知架构等
?哲学：因果理论、行动理论、实践推理等
教学课程：
?数理逻辑、模态逻辑、非经典逻辑、非单调逻辑、逻辑程序等
科研成果：
?2015年，Stit 逻辑的判定问题，博士论文
?2015年，Decidability of Logics Based on an Indeterministic Metric Tense Logic， Studia Logica
?2017 年，Z-型Rabin 树理论的可判定性，逻辑学研究
?2017年，人工智能潜在威胁与应对思路，中国社会科学报
?2018年，因果依赖逻辑，自然辩证法研究
?2019年，Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width，Studies in Logic


暂无信息
暂无信息