个人简历：
王彦晶，男，1982年3月北京生人。2004年本科毕业于北京大学哲学系逻辑学专业，2006年获得荷兰阿姆斯特丹大学逻辑硕士学位（Cum Laude），2010年获得阿姆斯特丹大学逻辑学博士学位（博士研究在荷兰数学与计算机研究所CWI完成）。现任北京大学哲学系副教授。
王彦晶的研究方向主要侧重于模态逻辑、动态逻辑以及形式化认识论等。特别的，他的工作经常基于一些非经典的模态语义，在那里，符号的意义并非固定不变而是依赖于情境或约定。
王彦晶认为当前逻辑学发展的主要推动力量来自于逻辑学在理论计算机科学、哲学、语言学以及各类可形式化的社会科学中的应用。关注应用并不意味着忽视理论，恰恰相反，从应用的出发点前行往往很快就会遇到真正具有价值的理论问题。在应用的背景下试图解决这些理论问题有时就像一次怀揣目的地照片的漫长旅行，即便最后到不了那个美丽的所在，经过艰难跋涉后领略的沿途凤光也足够让人欣喜了。
已开设课程：《高级模态逻辑》、《动态逻辑》等。
部分文章：
Jie Fan, Yanjing Wang and Hans van Ditmarsch: Contingency and knowing whether, to appear in The Review of Symbolic Logic, Cambrige 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, Jie Fan: Conditionally knowing what, to appear in Advances in Modal Logic Vol. 10: 569-587, 2014, College Publications
Jie Fan, Yanjing Wang and Hans van Ditmarsch: Almost necessary, to appear 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: On Axiomatizations of PAL. LORI 2011: 314-327, Springer
Hans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang: Hidden protocols. TARK 2011: 65-74, ACM digital library
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 |
