Table of Contents

Preface; 1. Introduction; 2. Basics: the modal approach to knowledge; 3. Various notions of knowledge and belief; 4. Knowledge and ignorance; 5. Default reasoning by epistemic logic; References; Appendices; Answers to exercises; Index.

Promotional Information

A broad introduction to the subject; many exercises with full solutions are provided.

Reviews

'Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject.' Phinews ' ... a very detailed coverage ... that is well written, well reasoned, and a useful reference to have on the shelf.' R. J. Bradford, Axis