个人简介
张炎，中国人民大学哲学院讲师，武汉大学哲学学士、硕士、博士
科研成果：
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
研究领域
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
逻辑学：
哲学逻辑：模态逻辑、行动逻辑、道义逻辑、时态逻辑、条件句逻辑、logic of reasons 等
非单调逻辑：缺省逻辑、非单调模态逻辑、circumscription等
人工智能：知识表示与常识推理、逻辑程序、自动推理、认知架构等
哲学：因果理论、行动理论、实践推理等
京公网安备 11010802027423号