W-JS: a modal logic of knowledge
Ma Xiwen, Guo Wcide · International Joint Conference on Artificial Intelligence · 1983
W-JS is a first-order predicate calculus on the modal theory of knowledge. It is based on natural deduction rules and accompanied by possible-world-accessibility semantics. As an example, the famous S and Mr. P puzzle is solved in W-JS.