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