Meyer, J.-J. <br/><br/>
Epistemic logic for AI and computer science / 
by J.-J. Meyer, W. van der Hoek. 
 - Cambridge, N.Y. :  Cambridge University Press,  1995. 
 - xiii, 354 p. 
 - Tracts in Theoretical Computer Science Ser. ; No. 41. .
<br/><br/> Includes bibliographical references and index.  Contents : Basics : the modal approach to knowledge--Various notions of knowledge and belief. 
<br/><br/><label>ISBN: </label>052146014X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Artificial intelligence.<br/>Logic, symbolic and mathematical.