Monographs

• Logics, Games and Computation: Balances in Social Networks, Jiangsu People's Press, August 2021. Written in Chinese.
  《逻辑、博弈与计算：社会网络平衡研究》, 江苏人民出版社, 2021年8月, 21.8万字
• Hybrid Logic of Spaces, Zhejiang University Press, September 2016. Written in Chinese.   Click to see the cover
  《混合空间逻辑》, 浙江大学出版社, 2016年9月, 31万字
  • 获浙江大学董氏文史哲研究奖励基金著作奖（二等），2017年6月

Journal Papers

• Yì N Wáng & Huimin Dong. Stability and Balance in Weighted, Signed Networks. To appear in Studies in Logic
  王轶, 董惠敏. 加权加标网络的稳定与平衡. 逻辑学研究. 将发表
• Wiebe van der Hoek, Louwe B. Kuijer & Yì N. Wáng. Who Should Be My Friends? Social Balance from the Perspective of Game Theory. Journal of Logic, Language and Information 31: 189-211, 23 March 2022.
• Yì N Wáng & Xu Li. A Logic of Knowledge Based on Abstract Arguments. Journal of Logic and Computation 31(8): 2004-2027, December 2021.
• Thomas Ågotnes & Yì N Wáng. Group belief. Journal of Logic and Computation 31(8): 1959-1978, December 2021.
• Jianfeng He & Yì N. Wáng. Hybrid Logic of Public Announcements. Studies in Logic 13(2): 41-57, 18 April 2020.
  何键枫, 王轶. 混合公开宣告逻辑. 逻辑学研究, 第13卷, 第2期, 第41-57页, 2020年4月18日.
• Yì N. Wáng & Xiling Luo. Dynamic Social Network Modeling: Axiomatizing and Implementing the Logic of Allies and Enemies. Studies in Logic 12(2): 27-42, 18 April 2019.
  王轶, 骆犀羚. 结构平衡理论的时态模型：形式系统与程序实现. 逻辑学研究, 第12卷, 第2期, 第27-42页, 2019年4月18日.
• 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.
• Kang Xu & Yì N. Wáng. Group Simple Announcement Logic. Studies in Logic 11(1):1-22, 18 March 2018
  徐康, 王轶. 群体简单宣告逻辑. 逻辑学研究, 第11卷, 第1期, 第1-22页, 2018年3月18日.
  
  • 人大复印报刊资料B3《逻辑》2018年03期全文转载.
• Thomas Ågotnes & Yì N. Wáng. Resolving Distributed Knowledge. Artificial Intelligence 252: 1-21, November 2017.
• Yì N. Wáng & Thomas Ågotnes. Relativized Common Knowledge for Dynamic Epistemic Logic. Journal of Applied Logic 13(3): 370-393, September 2015.   Errata
• Yì N. Wáng. A Logic of Knowledge in the Mandarin Chinese Setting. Studies in Logic 8(2): 13-33, June 2015.
  王轶. 汉语“知道”的逻辑刻画. 逻辑学研究, 第8卷, 第2期, 第13-33页, 2015年6月.
  
  • 人大复印报刊资料B3《逻辑》2015年04期全文转载.
  • 另收录于黄华新等著《逻辑、语言与认知》第196-214页，2019年3月
• Yì N. Wáng. Neighborhood Expansion in Subset Spaces. Studies in Logic 7(2), pp 20-38, June 2014.
  王轶. 子集空间下的邻域扩张. 逻辑学研究, 第7卷, 第2期, 第20-38页, 2014年6月.
  
  • 人大复印报刊资料B3《逻辑》2014年03期全文转载.
  • 另收录于黄华新等著《逻辑、语言与认知》第175-195页，2019年3月
• Yì N. Wáng & Thomas Ågotnes. Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity. Synthese 190(Suppl 1): 135-162, 2013.   Corrections and improvements
• Yì N. Wáng & Difei Xu. Analysis of Negation with Neighborhood Semantics, Journal of Hunan University of Science & Technology (Social Science Edition). 10(4): 41-45, July 2007.
  王轶, 许涤非. 否定的邻域语义分析. 湖南科技大学学报（社会科学版） 10(4): 41-45, 2007.07.30.

Peer-Reviewed Conference Papers

• Xiaolong Liang & Yì N. Wáng. Epistemic Logic via Distance and Similarity. The 19th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2022). Shanghai, China, 10-13 November 2022.
  • Published in Sankalp Khanna, Jian Cao, Quan Bai and Guandong Xu (eds.) Proceedings of PRICAI 2022: Trends in Artificial Intelligence LNCS, vol 13629, pp 32-45, Springer Cham, 4 November 2022.
• Xiaolong Liang & Yì N. Wáng. Epistemic Logic over Weighted Graphs. Second International Workshop on Logics for New-Generation AI (LNGAI 2022). Zhuhai, China, 10-12 June 2022.
  • Published in Beishui Liao, Réka Markovich and Yì N. Wáng (eds.) Proceedings of the Second International Workshop on Logics for New-Generation AI. pp 43-58, College Publications, 6 June 2022.
• Thomas Ågotnes and Yì N. Wáng. Somebody Knows. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). Online, 3-12 November 2021.
  • Published in Meghyn Bienvenu, Gerhard Lakemeyer and Esra Erdem (eds.) Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021.
• Huimin Dong, Xu Li and Yì N. Wáng. Weighted Modal Logic in Epistemic and Deontic Contexts. The eighth international conference on logic, rationality and interaction (LORI 2021). Xi'an, P.R. China. 16-18 October 2021.
  • Published in Sujata Ghosh and Thomas Icard (eds.) LORI 2021: Logic, Rationality, and Interaction. LNTCS, vol 13039, pp 73-87, Springer Cham, 4 October 2021.
• Huimin Dong and Yì N. Wáng. A Modal Logic of Defeasible Reasoning. The First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021). Hangzhou, China. 18-20 June 2021.
  • Published in Beishui Liao, Jieting Luo and Leendert van der Torre (eds.) Logics for New-Generation AI 2021. College Publications, pp 68-80, 30 June 2021.
• Yì N. Wáng and Thomas Ågotnes. Simpler Completeness Proofs for Modal Logics with Intersection. The 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020). Online, 9-10 October 2020.
  • Published in Manuel A. Martins and Igor Sedlár (eds.) Dynamic Logic: New Trends and Applications. Lecture Notes in Computer Science, vol 12569, pp 259-276, Springer Cham. 22 December 2020.
• 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. The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI). Yokohama, Japan. 11-17 July 2020. Online, 11-15 January 2021.
  • Published in Christian Bessiere (ed.) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20), pp 210-216, July 2020. ISBN (Online): 978-0-9992411-6-5.
• Thomas Ågotnes & Yì N. Wáng. Group Belief. The 3rd International Conference on Logic and Argumentation (CLAR 2020). Hangzhou, China. 7-9 April 2020 26 October, 30 October and 2 November 2020.
  • Published in Dastani M., Dong H., van der Torre L. (eds.) CLAR 2020: Logic and Argumentation, Lecture Notes in Computer Science (LNCS, volume 12061), pp 3-21, Springer Cham, 28 March 2020.
  • Wins the CLAR 2020 Best Paper Award.
  • See the list of journal publications for an extension of this paper that appears in the Journal of Logic and Computation.
• Xu Li & Yì N. Wáng. A Logic of Knowledge and Belief Based on Abstract Arguments. The 3rd International Conference on Logic and Argumentation (CLAR 2020). Hangzhou, China. 7-9 April 2020 26 October, 30 October and 2 November 2020.
  • Published in Dastani M., Dong H., van der Torre L. (eds.) CLAR 2020: Logic and Argumentation, Lecture Notes in Computer Science (LNCS, volume 12061), pp 116-130, Springer Cham, 28 March 2020.
  • See the list of journal publications for an extension entitled "A Logic of Knowledge Based on Abstract Arguments" that appears in the Journal of Logic and Computation.
• Huimin Dong, R Ramanujam, and Yì N. Wáng. Subset Spaces for Conditional Norms. The 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019). Torino, Italy. 28-31 October 2019.
  • Published in Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai and Rym Zalila Wenkstern (eds.) PRIMA 2019: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science (LNAI, volume 11873), pp 289-304, Springer Nature Switzerland AG 2019, 21 October 2019.
• Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng. Who Should Be My Friends? Social Balance from the Perspective of Game Theory. Seventh International Conference on Logic, Rationality and Interaction (LORI-VII). Southwest University, Chongqing, China, 18-21 October 2019.
  • Published 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-Verlag GmbH Germany, part of Springer Nature 2019, 9 October 2019.
• Yì N. Wáng & Xiling Luo. Dynamic Social Network Modeling: Axiomatizing and Implementing the Logic of Allies and Enemies. National Conference on Modern Logic. Xiamen University, China. 26-28 October 2018.
  • See the list of journal publications for a revision with the same title published in Studies in Logic.
• Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng. A Logic of Allies and Enemies. The 13th Conference on Logic and the Foundations of Game and Decision Theory (LOFT). Milano, Italy. 16-18 July 2018.
• Thomas Ågotnes & Yì N. Wáng. Resolving Distributed Knowledge. Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015), Carnegie Mellon University, Pittsburgh, USA, 4-6 June 2015.
  • Published in: R. Ramanujam (ed.) Proceedings of the Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015), pp 37-46, ISBN: 978-0-692-46138-9.
  • Also appear in the series Electronic Proceedings in Theoretical Computer Science as EPTCS 215
• Yì N. Wáng & Thomas Ågotnes. Public Announcements, Private Actions and Common Knowledge in S5 Structures. Fourth International Workshop on Logic, Rationality, and Interaction (LORI-IV), Hangzhou, China, 9-12 October 2013.
  • Published in: Davide Grossi, Olivier Roy, Huaxin Huang (eds.) Logic, Rationality, and Interaction, pp 267-281, Lecture Notes in Computer Science (LNCS, volume 8196), 2013, Springer, Berlin, Heidelberg.
  • Errata. See the list journal publications for the paper entitled "Resolving Distributed Knowledge" which has sorted out the known and unknown problems.
• Yì N. Wáng & Thomas Ågotnes. Preference Logic of Focus Change: A Semantic Approach. Second International Conference on Agreement Technologies (AT 2013), Beijing, China, 1-2 August 2013.
  • Published in: Carlos Iván Chesñevar, Eva Onaindia, Sascha Ossowski, George Vouros (eds.) Proceedings of the Second International Conference on Agreement Technologies. pp 225-239, Lecture Notes in Computer Science (LNAI, volume 8068), 2013, Springer, Berlin, Heidelberg.
• Yì N. Wáng & Thomas Ågotnes. Multi-Agent Subset Space Logic. Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China. 3-9 August 2013.
  • Published in: Francesca Rossi (ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp 1155-1161, 2013, AAAI Press. ISBN 978-1-57735-633-2.
• Hans van Ditmarsch, Tim French, Fernando R. Velazquez-Quesada and Yì N. Wáng (2013) Knowledge, Awareness, and Bisimulation. 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, 7-9 January 2013.
  • Published in: Burkhard C. Schipper (ed.) TARK 2013: Theoretical Aspects of Rationality and Knowledge, pp 61-70, 2013, ISBN: 978-0-615-74716-3.
  • See the list of journal publications for an extension entitled "Implicit, Explicit and Speculative Knowledge" that appears in Artificial Intelligence.
• Yì N. Wáng & Thomas Ågotnes. Subset Space Public Announcement Logic. Fifth Indian Conference on Logic and Its Applications (ICLA 2013), Chennai, India, 10-12 January 2013.
  • Published in: Kamal Lodaya (ed.) Logic and its Applications, pp 245-257, Lecture Notes in Computer Science (LNCS, volume 7750), 2013, Springer, Berlin, Heidelberg.
  • Errata
• Yì N. Wáng & Thomas Ågotnes. Public Announcement Logic with Distributed Knowledge. Third International Workshop on Logic, Rationality and Interaction (LORI-III), Guangzhou, China, 10-13 October 2011.
  • Published in: Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.) Logic, Rationality, and Interaction, pp 328-341. Lecture Notes in Computer Science (LNCS volume 6953), 2011, Springer, Berlin, Heidelberg.
  • Errata
  • See the list of journal publications for an extension entitled "Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity" that appears in Synthese.
• Yi N. Wang (2009) A Two-Dimensional Hybrid Logic of Subset Spaces. Third Indian Conference on Logic and Its Applications (ICLA 2009), Chennai, India, 7-11 January 2009.
  • Published in: Ramanujam R., Sarukkai S. (eds.) Logic and Its Applications, pp 196-209. Lecture Notes in Computer Science (LNCS, volume 5378), 2009, Springer, Berlin, Heidelberg.

Book chapters

• 王轶：汉语“知道”的逻辑刻画，黄华新等著《逻辑、语言与认知》第196-214页，2019年3月
• 王轶：子集空间下的邻域扩张，黄华新等著《逻辑、语言与认知》第179-195页，2019年3月

Guest Edited Journal Special Issues or Sections

• Pietro Baroni, Christoph Benzmüller, Yì N. Wáng. Preface: Special Issue on Logic and Argumentation. Journal of Logic and Computation 33(2): 189-191, March 2023
• Huimin Dong, Jun Pang, Yì N Wáng. Preface of the special issue ‘Logic, argumentation and AI’ in JLC. Journal of Logic and Computation 31(8) pp 1901-1902, 03 August 2021
• Yì N. Wáng: Editorial - Special Section for 2017 National Conference on Modern Logic, Studies in Logic 11(3): pp 1-2, September 2018.
  王轶：2017年全国现代逻辑学术研讨会专栏前言，《逻辑学研究》，第11卷，第3期，第1-2页，2018年9月
• Thomas Ågotnes, Beishui Liao, Yì N. Wáng: Editorial - Logic and Argumentation. Journal of Applied Non-Classical Logics 28(2): pp 163-164, June 2018.

Edited Conference Proceedings

• Beishui Liao, Réka Markovich, Yì N. Wáng (eds.) Proceedings for the Second International Workshop on Logics for New-Generation AI. College Publications, 6 June 2022. ISBN 978-1-84890-406-4
• Pietro Baroni, Christoph Benzmüller, Yì N. Wáng (eds.) Logic and Argumentation: 4th International Conference, Springer, 15 October 2021. Doi: 10.1007/978-3-030-89391-0
• Beishui Liao and Yì N. Wáng (eds.) Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic, 21 August 2020. Doi: 10.1007/978-981-15-7134-3
• Beishui Liao, Thomas Ågotnes and Yì N. Wáng (eds.) Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation, 24 July 2019. Doi: 10.1007/978-981-13-7791-4
• Thomas Ågotnes, Beishui Liao, Yì N. Wáng (eds.) Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, 2-3 April 2016. CEUR Workshop Proceedings 1811, CEUR-WS.org 2017.

Translations

• 约翰·范本特姆《逻辑、认识论和方法论》，逻辑之门——约翰·范本特姆经典著作（卷IV），科学出版社，2013年1月1日
  • 第8章：认知逻辑的五个问题（王轶 译）
  • 第15章：跨越空间的模态漫步（王轶 译）
  • 第16章：空间模态逻辑（王轶 译）
• 约翰·范本特姆《逻辑、语言和认知》，逻辑之门——约翰·范本特姆经典著作（卷II），科学出版社，2009年10月
  • 第11章：走向一种计算语义学（王轶 译）
  • 第12章：意义：解释和推理（王轶 译）
  • 第16章：彰显价值的博弈：逻辑、语言与多主体互动（王轶 译）