王彦晶 - 北京大学

个人简介

王彦晶，男，1982年3月北京生人。2004年本科毕业于北京大学哲学系逻辑学专业，2006年获得荷兰阿姆斯特丹大学逻辑硕士学位（Cum Laude），2010年获得阿姆斯特丹大学逻辑学博士学位（博士研究在荷兰数学与计算机研究所CWI完成）。现任北京大学哲学系教授，副系主任、北京大学逻辑、语言与认知中心主任，Journal of Philosophical Logic 副主编，中国逻辑学会现代逻辑专业委员会前秘书长(2014-2022), 中国数学学会数理逻辑专业委员会委员。入选国家“万人计划”哲学社会科学领军人才计划，国家“万人计划”之青年拔尖人才支持计划

研究领域

1 模态逻辑的基础理论与应用(特别是一阶模态逻辑、多元模态逻辑、非正规模态逻辑)、非经典逻辑 (特别是直觉主义逻辑与中间逻辑)。2 其他好玩的和逻辑沾点边儿的问题

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Yifeng Ding, Jixin Liu, Yanjing Wang: Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic. To appear in Synthese Mo Liu, Anantha Padmanabha, R. Ramanujam, and Yanjing Wang: Generalized Bundled Fragments of First-order Modal Logic. in MFCS2022 Xiaoyang Wang, Yanjing Wang: Tense logics over lattices. in WoLLIC 2022 Haoyu Wang, Yanjing Wang, Yunsong Wang: An epistemic interpretation of tensor disjunction. Advances in Modal Logic 2022 Haoyu Wang, Yanjing Wang, Yunsong Wang: Inquisitive logic as an epistemic logic of knowing how. Annals of Pure and Applied Logic 103145 Dazhu Li, Yanjing Wang: Mereological Bimodal Logics. in Review of Symbolic Logic Yanjing Wang, Yu Wei, Jeremy Seligman: Quantifier-free Epistemic Term-Modal Logic with Assignment Operator, in Annals of Pure and Applied Logic: 173(3), 103071 Yifeng Ding, Jixin Liu, Yanjing Wang： Hypergraphs, local reasoning, and weakly aggregative modal logic. in Proceedings of LORI 2021 Yanjun Li, Yanjnig Wang: Knowing How to Plan, in Proceedings of TARK2021 Michael Cohen, Wen Tang, Yanjing Wang: De Re Updates, in Proceedings of TARK2021 Yanjun Li, Yanjnig Wang: Neighborhood Semantics for Logic of Knowing How, in Synthese: 199, pp. 8611–8639 Yanjun Li, Yanjnig Wang: Planning-based knowing how: a unified approach, in Artificial Intelligence 296: 103487, 2021 Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang: Bisimulations for Knowing How Logics. Review of Symbolic Logic 15(2), pp. 450-486 Jixin Liu, Yifeng Ding, Yanjing Wang: Model Theoretical Aspects of Weakly Aggregative Modal Logic. to appear in Journal of Logic, Language and Information 31(2), pp. 261-286 (Extended journal version of the LORI2019 conference paper) Chao Xu, Yanjing Wang, Thomas Studer, A Logic of Knowing Why, in Synthese 198: 1259–1285, 2021 Xinyu Wang, Yanjing Wang: Knowledge-now and Knowledge-all. In Proceedings of LORI 2019: 399-412 Yanjun Li, Yanjing Wang: Multi-agent knowing how via multi-step plans: a dynamic epistemic planning-based approach. In Proceedings of LORI 2019: 126-139 Malvin Gattinger, Yanjing Wang: How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. In Proceedings of TARK 2019: 206-220 Yanjing Wang: A Logic of Goal-directed Knowing How, Synthese 195 (10): 4419-4439, 2018, Springer (Extended journal version of the LORI15 conference paper) Yanjing Wang, Jeremy Seligman: Epistemic Logic with Assignments and Non-rigid Names. in Advances in Modal Logic vol 12: 611-628, 2018. College Publications. Yanjing Wang: A new modal framework for epistemic logic. in Proceedings of TARK 2017, EPTCS 251: 515-534. Yanjing Wang: Beyond Knowing that: a new generation of epistemic logics, in Jaakko Hintikka on knowledge and game theoretical semantics (Outstanding Contributions to Logic series): 499-533, Springer Yanjun Li, Barteld Kooi, Yanjing Wang: A Dynamic Epistemic Framework for Reasoning about Conformant Probabilistic Plans, in Artificial Intelligence 268: 54-84 Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang: Strategically knowing how. in IJCAI 2017:1031-1038 AAAI Thomas Agotnes, Hans van Ditmarsch, Yanjing Wang: True lies. Synthese 195 (10): 4581-4615. 2018, Springer Yanjun Li, Quan Yu, Yanjing Wang: More for free: A dynamic epistemic framework for conformant planning. in Journal of Logic and Computation, Oxford University Press (Extended journal version of the TARK15 conference paper) Jan van Eijck, Malvin Gattinger, Yanjing Wang: Knowing Values and Public Inspection, in Proceedings of ICLA 2017: 77-90 Yanjun Li and Yanjing Wang: Achieving while maintaining: A logic of knowing how with intermediate constraints, to appear in Proceedings of ICLA 2017: 154-167 Tao Gu and Yanjing Wang: “Knowing value” logic as a normal modal logic, in Advances in Modal Logic Vol. 11: 362-381, College Publications Tszyuen Lau and Yanjing Wang: Knowing your ability, in The Philosophical Forum 47(3-4):415-424, Wiley-Blackwell Kai Li and Yanjing Wang: From rules to runs - a dynamic epistemic take of imperfect information take. Studies in Logic 8(4):74-107 (《逻辑学研究》) Jie Fan, Yanjing Wang and Hans van Ditmarsch: Contingency and knowing whether, in The Review of Symbolic Logic 8(1):75-107, Cambridge University Press Yanjing Wang and Jie Fan: Epistemic Informativeness, in the Proceedings of the Second Asian Workshop on Philosophical Logic, Studia Logica Library, Springer Yanjing Wang: Representing Imperfect Information of Procedures with Hyper Models. in Proceedings of ICLA 2015: 218-231, Springer Yanjing Wang, Jie Fan: Conditionally knowing what, in Advances in Modal Logic Vol. 10: 569-587, 2014, College Publications Jie Fan, Yanjing Wang and Hans van Ditmarsch: Almost necessary, in Advances in Modal Logic Vol. 10: 178-196, 2014, College Publications Hans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang: Hidden protocols: Modifying our expectations in an evolving world. Artificial Intelligence 208: 18-40 (2014). Elsevier (Extended journal version of the TARK11 conference paper) Yanjing Wang: Book review of: Johan van Benthem, Logical Dynamics of Information and Interaction, in Studia Logica 102(3): 647-654 Springer Yanjing Wang, Qinxiang Cao: On axiomatizations of public announcement logic. Synthese 190(1s): 103-134 (2013). Springer (Extended journal version of the LORI11 conference paper) Yanjing Wang, Guillaume Aucher: An Alternative Axiomatization of DEL and its Applications, in Proceedings of IJCAI 2013: pp. 1139-1146. AAAI press. Yanjing Wang, Jie Fan: Knowing that, Knowing what, and Public Communication: Public Announcement Logic with Kv Operators, in Proceedings of IJCAI 2013: pp.1147-1154. AAAI press. Fenrong Liu and Yanjing Wang, Reasoning about agent types and the hardest logic puzzle ever. Minds and Machines 23(1):123-161 (2012), Springer Yanjing Wang and Yanjun Li, Not all those who wander are lost: dynamic epistemic reasoning in navigation, in Advances in Modal Logic Vol. 9, pp.559-580 (2012), S. Ghilardi and L. Moss eds., College publications Jan van Eijck, Floor Sietsma, Yanjing Wang: Composing models. Journal of Applied Non-Classical Logics 21(3-4): 397-425 (2011), Taylor & Francis (Presented at LOFT2010) Francien Dechesne, Yanjing Wang: To know or not to know: epistemic approaches to security protocol verification. Synthese 177(S1): 51-76 (2010), Springer Yanjing Wang: Reasoning about Protocol Change and Knowledge. ICLA 2011: 189-203, Springer Yanjing Wang, Floor Sietsma, Jan van Eijck: Logic of information flow on communication channels. AAMAS 2010: 1447-1448, full version in DALT 2010: 130-147, Springer Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck: Verifying epistemic protocols under common knowledge. TARK 2009: 257-266, ACM Digital library Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125, Springer Taolue Chen, Jaco van de Pol, Yanjing Wang: PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200, IEEE computer society Jan van Eijck, Yanjing Wang: Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148, Springer Muhammad Torabi Dashti, Yanjing Wang: Risk Balance in Exchange Protocols. ASIAN 2007: 70-77, Springer Francien Dechesne, Yanjing Wang: Dynamic Epistemic Verification of Security Protocols: framework and case study. In Proc. Logic Rationality and Interaction (LORI 2007): pp.129-144 College Publications