W — A Logic System Based on Shared Common Knowledge Views
Xianchang Wang, Huowang Chen, Zhao Qingping, Wei Li · 2008
In this paper, we give a logic system — W based on the view of shared common knowledge, and prove some properties of W. By W, we effectively describe and solve the Conway Paradox, the typical multi-agent problem involving common knowledge.