基本情况
姓名：李延军
性别：男
职称：讲师
邮箱：lyjlogic@gmail.com
网址：https://sites.google.com/site/lyjlogic/
研究领域：
模态逻辑，认知逻辑，动态逻辑，概率逻辑，
认知规划，知识表示，形式认识论
教育经历：
2010年获河北大学哲学学士学位
2016年获北京大学哲学博士学位
2017年获荷兰格罗宁根大学逻辑学博士学位
学术论文：
Yanjun Li, Yanjing Wang: Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach, in Proceedings of LORI 2019, to appear
Yanjun Li: Privacy in Arrow Update Logic, in 《逻辑学研究》(Studies in Logic), to appear
Yanjun Li: The completeness for the combination of PDL and EL with Perfect Recall and No Miracles, in 《逻辑学研究》(Studies in Logic), to appear
Yanjun Li, Barteld Kooi, Yanjing Wang: A dynamic epistemic framework for reasoning about conformant probabilistic plans, in Artificial Intelligence Journal,268, 2019, pp. 54-84
Yanjun Li: Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions, in Journal of Logic and Computation, 28(2), 2018, pp. 451-473
Yanjun Li, Quan Yu and Yanjing Wang: More for Free: A Dynamic Epistemic Framework for Conformant Planning over Transition Systems, in Journal of Logic and Computation, 27(8), 2017, pp. 2383-2410
Raul Fervari, Andreas Herzig, Yanjun Li and Yanjing Wang: Strategically Knowing How, in Proceedings of IJCAI 2017, pp. 1031-1038
Yanjun Li and Yanjing Wang: Achieving while maintaining: a logic of knowing how with intermediate constraints, in Proceedings of ICLA 2017, pp. 154-167
Yanjun Li: Stopping means achieving: a weaker logic of knowing how, in 《逻辑学研究》(Studies in Logic), 9(4), 2016, pp. 34-54
Yanjun Li: Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles, in Proceedings of LORI 2015, pp. 230-242, Springer
Quan Yu, Yanjun Li and Yanjing Wang: A Dynamic Epistemic Framework for Conformant Planning, in Proceedings of TARK 2015, pp. 298-318, EPTCS
Yanjing Wang and Yanjun Li: Not all those who wander are lost: dynamic epistemic reasoning in navigation, in Proceedings of AiML 2012, 559-580, College Publications



科研项目：
国家社会科学基金青年项目“关于过程性知识的逻辑研究”，负责人，在研
河北省教育厅人文社会科学重大课题攻关项目“当代逻辑哲学重大问题研究”，子课题负责人，在研