王轶，字逾甚，江苏南通人。北京大学逻辑学博士(2009)和挪威卑尔根大学信息科学博士(2013)，现为中山大学珠海校区哲学系教授，博士生导师。曾在挪威卑尔根学院（现西挪威应用科学大学）计算机工程系任临时教职(2009-2013)，之后在浙江大学哲学系任教(2013-2020）。有新西兰、西班牙、英国等多国高校的长期访学经历，长期担任IJCAI、AAAI、AAMAS、KR、LORI等国际会议的程序委员会委员。主要研究领域为哲学逻辑和应用逻辑，包括模态逻辑理论及应用、主体和多主体系统的逻辑、社会网络的逻辑研究等。

工作经历：

2022.04 迄今           中山大学哲学系（珠海），教授

2020.09 – 2022.04  中山大学哲学系（珠海），副教授

2013.06 – 2020.09  浙江大学哲学系，副教授

2009.07 – 2013.06  挪威卑尔根学院（现西挪威应用科学大学）计算机工程系，临时教职

学习经历：

2009.07 – 2013.06 挪威卑尔根大学信息科学专业，哲学博士

2005.09 – 2009.06 北京大学哲学系逻辑学专业，哲学博士

2003.09 – 2005.07 中国人民大学哲学系逻辑学专业，哲学硕士

1999.09 – 2003.07 中国科学技术大学工商管理专业，管理学学士

代表作品：

Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng. Logics of Allies and Enemies: A formal approach to the dynamics of social balance theory. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20), pp 210-216, July 2020.

Thomas Ågotnes & Yì N. Wáng. Group Belief. in Dastani M., Dong H., van der Torre L. (eds.) CLAR 2020: Logic and Argumentation, LNCS 12061: 3-21, Springer, 2020.

Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng. Who Should Be My Friends? Social Balance from the Perspective of Game Theory. In Patrick Blackburn, Emiliano Lorini and Meiyun Guo (eds.) Proceedings of the Seventh Conference on Logic, Rationality and Interaction (LORI 2019), Lecture Notes in Computer Science (LNTCS, volume 11813), pp 370-384, Springer, 2019.

王轶, 骆犀羚. 结构平衡理论的时态模型：形式系统与程序实现. 逻辑学研究, 第12卷, 第2期, 第27-42页, 2019年4月.

Hans van Ditmarsch, Tim French, Fernando R. Velásquez-Quesada, Yì N. Wáng. Implicit, Explicit and Speculative Knowledge. Artificial Intelligence 256: 35-67, March 2018.

Thomas Ågotnes & Yì N. Wáng. Resolving Distributed Knowledge. Artificial Intelligence 252: 1-21, 2017.

《混合空间逻辑》, 浙江大学出版社, 2016年9月, 31万字.

Yì N. Wáng & Thomas Ågotnes. Relativized Common Knowledge for Dynamic Epistemic Logic. Journal of Applied Logic 13(3): 370-393, September 2015.

王轶. 汉语“知道”的逻辑刻画. 逻辑学研究, 第8卷, 第2期, 第13-33页, 2015年6月.

Yì N. Wáng & Thomas Ågotnes. Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity. Synthese 190(Suppl 1): 135-162, 2013.

Yì N. Wáng & Thomas Ågotnes. Multi-Agent Subset Space Logic. In Francesca Rossi (ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), pp 1155-1161, 2013, AAAI Press. ISBN 978-1-57735-633-2.

Yì N. Wáng & Thomas Ågotnes. Subset Space Public Announcement Logic. In Kamal Lodaya (ed.) Logic and its Applications, pp 245-257, Lecture Notes in Computer Science (LNCS, volume 7750), Springer 2013.

Yi N. Wang (2009) A Two-Dimensional Hybrid Logic of Subset Spaces. In Ramanujam R., Sarukkai S. (eds.) Logic and Its Applications, pp 196-209. Lecture Notes in Computer Science (LNCS, volume 5378), Springer 2009.

邮箱：

ynw@xixilogic.org

更多信息详见：http://www.xixilogic.org/ynw/