Publications in ynw.bib
2022
[34]Who Should Be My Friends? Social Balance from the Perspective of Game Theory (, and ), In Journal of Logic, Language and Information, . [bibtex] [doi]
[33]Epistemic Logics over Weighted Graphs ( and ), In Second International Workshop on Logics for New-Generation Artificial Intelligence (Beishui Liao, Réka Markovich, Yì N. Wáng, eds.), . [bibtex]
2021
[32]Group Belief ( and ), In Journal of Logic and Computation, volume 31, . [bibtex] [doi]
[31]A logic of knowledge based on abstract arguments ( and ), In Journal of Logic and Computation, volume 31, . [bibtex] [doi]
[30]A Modal Logic of Defeasible Reasoning ( and ), In Logics for New-Generation AI 2021, College Publications, . [bibtex]
[29]Weighted Modal Logic in Epistemic and Deontic Contexts (, and ), In LORI 2021: Logic, Rationality, and Interaction, volume 13039, . [bibtex]
[28]Somebody Knows ( and ), In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, . [bibtex]
2020
[27]Simpler Completeness Proofs for Modal Logics with Intersection (), In Proceedings of The 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020), . [bibtex] [doi]
[26]Logics of Allies and Enemies: A formal approach to the dynamics of social balance theory (, and ), In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20), . [bibtex]
[25]Group Belief ( and ), In Proceedings of the 3rd International Conference on Logic and Argumentation (CLAR), . [bibtex] [doi]
[24]A Logic of Knowledge and Belief Based on Abstract Arguments ( and ), In Proceedings of the 3rd International Conference on Logic and Argumentation (CLAR), . [bibtex] [doi]
[23]Hybrid Logic of Public Announcements / 混合公开宣告逻辑 ( and ), In Studies in Logic / 逻辑学研究, volume 13, . [bibtex]
2019
[22]Dynamic Social Network Modeling: Axiomatizing and Implementing the Logic of Allies and Enemies / 结构平衡理论的时态模型：形式系统与程序实现 ( and ), In Studies in Logic, volume 12, . [bibtex]
[21]Who Should Be My Friends? Social Balance from the Perspective of Game Theory (, and ), In Proceedings of the Seventh International Conference on Logic, Rationality and Interaction (LORI-VII), . [bibtex] [doi]
[20]Subset Spaces for Conditional Norm (, and ), In PRIMA 2019: Principles and Practice of Multi-Agent Systems, . [bibtex] [doi]
2018
[19]A Logic of Allies and Enemies (, and ), In Proceedings of the 13th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), . [bibtex]
[18]Group Simple Announcement Logic / 群体简单宣告逻辑 ( and ), In Studies in Logic / 逻辑学研究, volume 11, . [bibtex]
[17]Implicit, Explicit and Speculative Knowledge (, , and ), In Artificial Intelligence, volume 256, . [bibtex] [doi]
2017
[16]Resolving Distributed Knowledge ( and ), In Artificial Intelligence, volume 252, . [bibtex] [doi]
2016
[15]Hybrid Logic of Spaces / 混合空间逻辑 (), Zhejiang University Press / 浙江大学出版社, . [bibtex]
2015
[14]A Logic of Knowledge in the Mandarin Chinese Setting / 汉语"知道"的逻辑刻画 (), In Studies in Logic / 逻辑学研究, volume 8, . [bibtex]
[13]Relativized Common Knowledge for Dynamic Epistemic Logic (), In Journal of Applied Logic, volume 13, . [bibtex] [doi]
[12]Resolving Distributed Knowledge ( and ), In Proceedings of the 15 th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), . [bibtex]
2014
[11]Neighborhood Expansion in Subset Spaces / 子集空间下的邻域扩张 (), In Studies in Logic / 逻辑学研究, volume 7, . [bibtex]
2013
[10]Knowledge, awareness, and bisimulation (, , and ), In Proc. 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), . [bibtex]
[9]Logical Dynamics of Group Knowledge and Subset Spaces (), PhD thesis, University of Bergen, . [bibtex]
[8]Subset Space Public Announcement Logic (), In Proceedings of ICLA (Kamal Lodaya, ed.), Springer, volume 7750, . [bibtex] [doi]
[7]Preference Logic of Focus Change: A Semantic Approach (), In Proceedings of the Second International Conference on Agreement Technologies (AT 2013). LNAI 8068, . [bibtex] [doi]
[6]Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity (), In Synthese, volume 190, . [bibtex] [doi]
[5] Multi-Agent Subset Space Logic (), In Proceedings of IJCAI, . [bibtex] [pdf]
2011
[4]Public Announcement Logic with Distributed Knowledge (), In Proceedings of the Third International Workshop on Logic, Rationality, and Interaction (LORI-III) (Hans van Ditmarsch, Jérôme Lang, Shier Ju, ed.), volume 6953, . [bibtex] [doi]
2009
[3]Extending Hybrid Logic: The Two-Sorted Case (), PhD thesis, Peking University, . [bibtex]
[2]A Two-Dimensional Hybrid Logic of Subset Spaces (), In Proceedings of the Third Indian Conference on Logic and Applications (R. Ramanujam, Sundar Sarukkai, eds.), volume 5378, . [bibtex] [doi]
2007
[1]Analysis of Negation with Neighborhood Semantics ( and ), In Journal of Hunan University of Science and Technology (Social Science Edition), volume 10, . [bibtex]
Powered by bibtexbrowser