{"type":"ScholarlyArticle","title":"W-JS: A Modal Logic of Knowledge","authors":[{"name":"Xiwen Ma","slug":"xiwen-ma","given":"Xiwen","family":"Ma","affiliation":"Computer Science Institute , Peking University , Beijing"},{"name":"Weide Guo","slug":"weide-guo","given":"Weide","family":"Guo","affiliation":"Computer Science Institute , Peking University , Beijing"}],"abstract":"W-JS is a first-order predic ate ca lculus on the modal theory of knowledge. It is based on natural deduction rules and accompanied by possible-worldaccessibility semantics . As an example, the famous \"Mr. S and Mr. P\" puz7.le is solved in W-JS.","doi":null,"url":"https://ijcai.org/proceedings/1983/96","pdf":"https://ijcai.org/proceedings/1983/0096.pdf","markdown":"https://ijcai.org/proceedings/1983/96.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/96","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":96,"pages":{"first":398,"last":400},"keywords":[],"videos":[],"references":[{"position":1,"raw":"John McCarthy, et al., \"On the Model Theory of Knowledge,\" Memo AIM 312, Stanford University, 1978.","title":"On the Model Theory of Knowledge","authors":"John Mccarthy","year":"1978","venue":"Memo AIM","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Ma Xiwen, Guo Weide, \"W-JS: A Modal Logic about 'Knowing',\" Computer R esearch and Development, No. 12, Vol. 19, Beijing, 1982.","title":"A Modal Logic about 'Knowing","authors":"Ma Xiwen, Guo Weide, ; W-Js","year":"1982","venue":"Computer R esearch and Development","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}