Resolving distributed knowledge T Ågotnes, YN Wáng Artificial Intelligence 252, 1-21, 2017 | 67 | 2017 |
Public announcement logic with distributed knowledge: expressivity, completeness and complexity YN Wáng, T Ågotnes Synthese 190 (Suppl 1), 135-162, 2013 | 33 | 2013 |
Subset space public announcement logic YN Wáng, T Ågotnes Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India …, 2013 | 32 | 2013 |
Implicit, explicit and speculative knowledge H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng Artificial Intelligence 256, 35-67, 2018 | 23 | 2018 |
Knowledge, awareness, and bisimulation H Van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng Theoretical Aspects of Rationality and Knowledge (TARK) 14, 2013 | 23 | 2013 |
Multi-agent subset space logic YN Wang, T Agotnes Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 23 | 2013 |
Simpler completeness proofs for modal logics with intersection YN Wáng, T Ågotnes Dynamic Logic: New Trends and Applications (DaLi 2020), 259-276, 2020 | 15 | 2020 |
Public announcement logic with distributed knowledge YN Wáng, T Ågotnes International Workshop on Logic, Rationality and Interaction, 328-341, 2011 | 15 | 2011 |
Group belief T Ågotnes, YN Wáng Journal of Logic and Computation 31 (8), 1959-1978, 2021 | 12 | 2021 |
Somebody knows T Ågotnes, YN Wáng Proceedings of the International Conference on Principles of Knowledge …, 2021 | 10 | 2021 |
Logics of allies and enemies: A formal approach to the dynamics of social balance theory W Van der Hoek, L Kuijer, Y Wáng Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 10 | 2021 |
Relativized common knowledge for dynamic epistemic logic YN Wang, T Ågotnes Journal of Applied Logic 13 (3), 370-393, 2015 | 9 | 2015 |
Resolving distributed knowledge T Ågotnes, YN Wáng arXiv preprint arXiv:1606.07515, 2016 | 8 | 2016 |
Who should be my friends? social balance from the perspective of game theory W van der Hoek, LB Kuijer, YN Wáng Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019 | 5 | 2019 |
Logical dynamics of group knowledge and subset spaces Y Wáng Ph. D. thesis, University of Bergen, 2013 | 5 | 2013 |
Weighted modal logic in epistemic and deontic contexts H Dong, X Li, YN Wáng Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021 | 4 | 2021 |
A logic of knowledge and belief based on abstract arguments X Li, YN Wáng International conference on logic and argumentation, 116-130, 2020 | 4 | 2020 |
A logic of allies and enemies W van der Hoek, LB Kuijer, YN Wáng 13th Conference on Logic and the Foundations of Game and Decision Theory …, 2018 | 4 | 2018 |
A logic of knowledge based on abstract arguments YN Wáng, X Li Journal of Logic and Computation 31 (8), 2004-2027, 2021 | 3 | 2021 |
A two-dimensional hybrid logic of subset spaces YN Wang Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai …, 2009 | 3 | 2009 |