Epistemic logic for AI and computer science

From the Publisher: 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; many exercises are included as well as their solutions. After presenting the necessary apparatus from mathematics and logic, the authors consider applications in the areas of common knowledge, distributed knowledge, explicit and implicit belief.