Logical Properties of Knowledge
暂无分享,去创建一个
This chapter contains section titled: Knowledge and truth, Knowledge and validity, Known individuals, An axiom system for KL, A Completeness proof, Reducibility, Bibliographic notes. Exercises