王彥晶，男，1982年3月在北京出生，現是北京大學哲學系長聘副教授，副系主任，中國邏輯學會現代邏輯專業委員會秘書長，中國數學學會數理邏輯專業委員會委員，曾入選國家“萬人計畫”之青年拔尖人才支持計畫。
基本介紹
- 中文名：王彥晶
- 畢業院校：阿姆斯特丹大學
- 學位/學歷：博士
- 專業方向：邏輯學
- 職務：北京大學哲學系副系主任
人物經歷,研究方向,已開設課程,學術研究,
人物經歷
2004年本科畢業於北京大學哲學系邏輯學專業，
2006年獲得荷蘭阿姆斯特丹大學邏輯碩士學位（Cum Laude），
2010年獲得阿姆斯特丹大學邏輯學博士學位（博士研究在荷蘭數學與計算機研究所CWI完成）。
研究方向
1 模態邏輯，特別是基於非經典語義的知識邏輯（epistemic logic）與動態邏輯（dynamic logic），以及它們的雜交變種後代。
2 其他好玩的和邏輯沾點邊兒的問題。
已開設課程
《高級模態邏輯》、《動態邏輯》、《知識邏輯》、《哲學數學計算機中的邏輯》等。
學術研究
部分文章
Chao Xu, Yanjing Wang, Thomas Studer, A Logic of Knowing Why, to appear in Synthese
Yanjing Wang: A Logic of Goal-directed Knowing How, Synthese 195 (10): 4419-4439, 2018, Springer
Yanjing Wang, Jeremy Seligman: Epistemic Logic with Assignments and Non-rigid Names. in Advances in Modal Logic vol 12, 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, to appear in the Hintikka volume of Outstanding Contributions to Logic, Springer
Yanjun Li, Barteld Kooi, Yanjing Wang: A Dynamic Epistemic Framework for Reasoning about Conformant Probabilistic Plans, to appear in Artificial Intelligence
Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang: Bisimulations for Knowing How Logics, in the informal proceedings of SR2017
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
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 (《邏輯學研究》)
Quan Yu, Yanjun Li, Yanjing Wang: A Dynamic Epistemic Framework for Conformant Planning, to appear in the Proceedings of TARK2015, EPTCS
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,to appear 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 ofICLA 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). Elsvier
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
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
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
Chao Xu, Yanjing Wang, Thomas Studer, A Logic of Knowing Why, to appear in Synthese
Yanjing Wang: A Logic of Goal-directed Knowing How, Synthese 195 (10): 4419-4439, 2018, Springer
Yanjing Wang, Jeremy Seligman: Epistemic Logic with Assignments and Non-rigid Names. in Advances in Modal Logic vol 12, 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, to appear in the Hintikka volume of Outstanding Contributions to Logic, Springer
Yanjun Li, Barteld Kooi, Yanjing Wang: A Dynamic Epistemic Framework for Reasoning about Conformant Probabilistic Plans, to appear in Artificial Intelligence
Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang: Bisimulations for Knowing How Logics, in the informal proceedings of SR2017
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
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 (《邏輯學研究》)
Quan Yu, Yanjun Li, Yanjing Wang: A Dynamic Epistemic Framework for Conformant Planning, to appear in the Proceedings of TARK2015, EPTCS
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,to appear 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 ofICLA 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). Elsvier
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
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
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
