W-JS: A Modal Logic of Knowledge. - Xiwen Ma; Weide Guo (IJCAI, 1983)