王軼(浙江大學副教授)

王軼，字逾甚，江蘇南通人。現為浙江大學哲學系副教授，博士生導師。

基本介紹

• 中文名：王軼
• 國籍：中國
• 民族：漢族
• 出生地：江蘇南通
• 畢業院校：挪威卑爾根大學、北京大學
• 職業：大學教師
• 學位/學歷：博士
• 專業方向：邏輯學
• 職稱：副教授

學歷學位

2009年獲北京大學邏輯學博士學位

2013年獲挪威卑爾根大學信息科學博士學位

開設過的課程

邏輯學導論、數理邏輯、哲學邏輯、模態邏輯基礎、模態邏輯前沿、社會網路、LaTeX與學術論文寫作、Epistemic Logic、Database Administration、Unix System Management

研究興趣

研究工作大致上歸屬於哲學邏輯和/或套用邏輯領域，具體包括模態邏輯、主體與多主體系統的邏輯、邏輯與社會網路等方向。研究方式是從哲學、社會科學等領域的理論和套用問題出發，使用邏輯、數學、計算機的理論、方法和工具對其加以刻畫、分析和處理，以期使原初的問題得到進一步的“邏輯”的闡釋。

研究成果大致可以劃分為如下幾個方向：

• 社會網路的邏輯研究
• 群體知識的邏輯動態研究（主要是在經典動態認知邏輯的框架下）
• 子集空間邏輯（將子集空間邏輯視為拓撲語義下的動態認知邏輯框架）
• 混合邏輯
• 其它（比如覺知邏輯等）

代表作品

• 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.