Epistemic Logic for AI and Computer Science

Cambridge Tracts in Theoretical Computer Science

by John-Jules Charles Meyer, W. van der Hoek

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.

Genres: Computer Science, Logic

368 pages, Hardcover

First published November 24, 1995