ML Anthology

W-JS: A Modal Logic of Knowledge

Xiwen Ma, Weide Guo
IJCAI 1983 pp. 398-401
/ijcai/1983/ma1983ijcai-w/

Abstract

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.

PDF Semantic Scholar

Cite

Text

Ma and Guo. "W-JS: A Modal Logic of Knowledge." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Ma and Guo. "W-JS: A Modal Logic of Knowledge." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/ma1983ijcai-w/)

BibTeX

@inproceedings{ma1983ijcai-w,
  title     = {{W-JS: A Modal Logic of Knowledge}},
  author    = {Ma, Xiwen and Guo, Weide},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {398-401},
  url       = {https://mlanthology.org/ijcai/1983/ma1983ijcai-w/}
}