张炎
职称：讲师
教研室：逻辑学
个人简介
张炎，中国人民大学哲学院讲师，武汉大学哲学学士、硕士、博士。研究领域主要包括：
• 逻辑学：
• 哲学逻辑：模态逻辑、行动逻辑、道义逻辑、时态逻辑、条件句逻辑、logic of reasons 等
• 非单调逻辑：缺省逻辑、非单调模态逻辑、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
