Publisher's Synopsis
This text examines the concepts of knowledge and belief and their formalization in systems of epistemic logic, concepts which are equally central to philosophy and artificial intelligence research. It is intended to provide an overview of current research into the representation of knowledge.