716954
9780521460149
Epistemic logic has grown from its philosophical beginnings to find diverse application in computer science as a means of reasoning about the knowledge and belief of agents. This book gives a broad introduction to the subject; with many exercises.Meyer, John-Jules is the author of 'Epistemic Logic for Ai and Computer Science' with ISBN 9780521460149 and ISBN 052146014X.
[read more]