Yì Nicholas Wáng
Yì Nicholas Wáng
Sun Yat-sen University
Verified email at xixilogic.org - Homepage
Title
Cited by
Cited by
Year
Resolving distributed knowledge
T Ågotnes, YN Wáng
Artificial Intelligence 252, 1-21, 2017
322017
Subset space public announcement logic
YN Wáng, T Ågotnes
Indian Conference on Logic and Its Applications, 245-257, 2013
292013
Public announcement logic with distributed knowledge: expressivity, completeness and complexity
YN Wáng, T Ågotnes
Synthese 190 (1), 135-162, 2013
202013
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
202013
Multi-agent subset space logic
YN Wang, T Agotnes
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
202013
Public announcement logic with distributed knowledge
YN Wáng, T Ågotnes
International Workshop on Logic, Rationality and Interaction, 328-341, 2011
152011
Implicit, explicit and speculative knowledge
H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng
Artificial Intelligence 256, 35-67, 2018
112018
Simpler completeness proofs for modal logics with intersection
YN Wáng, T Ågotnes
Dynamic Logic: New Trends and Applications (DaLi 2020), 259-276, 2020
52020
Relativized common knowledge for dynamic epistemic logic
YN Wáng, T Ågotnes
Journal of Applied Logic 13 (3), 370-393, 2015
52015
Logical dynamics of group knowledge and subset spaces
Y Wáng
Ph. D. thesis, University of Bergen, 2013
52013
Resolving distributed knowledge
T Ågotnes, YN Wáng
arXiv preprint arXiv:1606.07515, 2016
42016
A logic of knowledge and belief based on abstract arguments
X Li, YN Wáng
International conference on logic and argumentation, 116-130, 2020
32020
A two-dimensional hybrid logic of subset spaces
YN Wang
Indian Conference on Logic and Its Applications, 196-209, 2009
32009
Group belief
T Ågotnes, YN Wáng
Springer, 2020
22020
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
22018
A logic of knowledge based on abstract arguments
YN Wáng, X Li
Journal of Logic and Computation, 2021
12021
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic
B Liao, YN Wáng
Springer Singapore, 2020
12020
Subset spaces for conditional norms
H Dong, R Ramanujam, YN Wáng
International Conference on Principles and Practice of Multi-Agent Systems …, 2019
12019
Who Should Be My Friends?
W Van Der Hoek, LB Kuijer, YN Wáng
International Workshop on Logic, Rationality and Interaction, 370-384, 2019
12019
结构平衡理论的时态模型: 形式系统与程序实现
王轶, 骆犀羚
逻辑学研究 12 (2), 27-42, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20