Epistemic logic for AI and computer science /
Meyer, J.-J.
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. .
Includes bibliographical references and index. Contents : Basics : the modal approach to knowledge--Various notions of knowledge and belief.
052146014X
Computer science.
Artificial intelligence.
Logic, symbolic and mathematical.
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. .
Includes bibliographical references and index. Contents : Basics : the modal approach to knowledge--Various notions of knowledge and belief.
052146014X
Computer science.
Artificial intelligence.
Logic, symbolic and mathematical.