个人简历

中国人民大学哲学院讲师，武汉大学哲学学士、硕士、博士。
教学课程：
数理逻辑、模态逻辑、非经典逻辑、非单调逻辑、逻辑程序等
科研成果：
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等
人工智能：知识表示与常识推理、逻辑程序、自动推理、认知架构等
哲学：因果理论、行动理论、实践推理等""