逻辑学教研室 主任: 邢滔滔

王彦晶


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

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

已开设课程:《高级模态逻辑》、《动态逻辑》、《知识逻辑》、《哲学数学计算机中的逻辑》,《逻辑导论》等。
Email:y.wang[at]pku.edu.cn

希望自己能做到:Kp → KKp(知之为知之),~Kp → K~Kp(不知为不知),K∃xPx → ∃xKPx(知其然亦知其所以然)

长期的工作目标:反思与应用推动学科发展,真诚与务实促进制度创新

学术研究近况请见网站:

http://wangyanjing.com 


一些正在做的工作的基本想法:

超越“知道如是”的知识逻辑:传统的知识逻辑主要关心“知道如是”(knowing that),而我们将“知道是否”、“知道是什么”、“知道如何”、“知道为何”等作为模态算子构造新的模态语言,参考哲学及语言学的讨论给出直观的语义,得到的新的一大类模态逻辑,它们通常是一阶或二阶模态逻辑的可判定片段,但是能避免很多量化模态逻辑的技术及哲学困难,具有良好的逻辑及计算性质,可以加深我们对于这些不同种类的知识的理解. 同时我们也发现这些知识逻辑与诸多已知的逻辑有令人意想不到的关联。通过形式化的工作,对于相关的哲学问题也有一些新想法。欢迎加入我们,共同推进这个新领域!

 

一阶模态逻辑的打包片段: 基于上面的工作,我们通过打包一个量词和一个模态词的方法,找到了一系列新的一阶模态逻辑的可判定片段,大大突破了文献中只能通过限制模态词里出现一个变元才能得到可判定片段的限制。

 

用知识逻辑重构非经典逻辑: 利用打包算子的概念,我们发很多类似直觉主义逻辑的非经典逻辑本质上都可以看做知识逻辑,我们用知识逻辑的方法给他们更直观的哲学上可辩护的语义,可以用更经典的方式挖掘隐藏在那些看似简单的连接词背后的复杂信息,可以得到一系列技术结果和新的洞见。同时在哲学上也让我们重新审视逻辑多元论的主张。

 

用打包算子给道义模态词语义,并研究其逻辑。

 

用赋值算子处理de re 知识及更新: 利用一个非常简单的来源于动态逻辑的赋值算子,我们可以系统性的用很简单的逻辑语言处理从物的知识及其更新。

 

把代数结构(比如格)看成关系结构,讨论其上的模态逻辑。

 


部分文章:

Rendsvig, Rasmus, John Symons, and Yanjing Wang, "Epistemic Logic", The Stanford Encyclopedia of Philosophy (Winter 2023 Edition), Edward N. Zalta & Uri Nodelman (eds.)

 

Zilu Wang, Yanjing Wang: Strong Permission Bundled: First Steps. DEON 2023: 217-234

 

Yipu Li, Yanjing Wang: Epistemic Syllogistic: First Steps. TARK 2023: 392-406

 

Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang: Are bundles good deals for first-order modal logic? Information and Computation 293: 105062 (2023)

 

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

TOP