{"type":"ScholarlyArticle","title":"W - A Logic System Based on the Shared Common Knowledge Views","authors":[{"name":"Xianchang Wang","slug":"xianchang-wang","given":"Xianchang","family":"Wang","affiliation":""},{"name":"Huowang Chen","slug":"huowang-chen","given":"Huowang","family":"Chen","affiliation":""},{"name":"Quingping Zhao","slug":"quingping-zhao","given":"Quingping","family":"Zhao","affiliation":""},{"name":"Wei Li","slug":"wei-li","given":"Wei","family":"Li","affiliation":""}],"abstract":"In this paper, we give a logic system - W based on the view of shared common knowledge, and prove some properties ofW. By W, we effectively describe and solve the Conway Paradox, the typical multi-agent problem involving common knowledge. Keywords: Common Knowledge, Agent, Proof, Logic, Reasoning.","doi":null,"url":"https://ijcai.org/proceedings/1993/58","pdf":"https://ijcai.org/proceedings/1993/0058.pdf","markdown":"https://ijcai.org/proceedings/1993/58.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/58","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Distributed AI","track":"Distributed AI","number":58,"pages":{"first":410,"last":414},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}