Epistemic logic for AI and computer science / J.-J. Ch. 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 exe...

Full description

Bibliographic Details

Online Access:	Full Text (via Cambridge)
Main Author:	Meyer, John-Jules Ch
Corporate Author:	Cambridge University Press
Other Authors:	Hoek, W. van der (Wiebe)
Other title:	Cambridge books online.
Format:	Electronic eBook
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1995.
Series:	Cambridge tracts in theoretical computer science ; 41.
Subjects:	Computer science. Artificial intelligence. Logic, Symbolic and mathematical. Artificial intelligence Computer science Logic, Symbolic and mathematical