TY  - BOOK
AU  - Meyer,J.-J.
AU  - Der Hoek,W.van
TI  - Epistemic logic for AI and computer science
SN  - 052146014X
PY  - 1995///
CY  - Cambridge, N.Y.
PB  - Cambridge University Press
KW  - Computer science
KW  - Artificial intelligence
KW  - Logic, symbolic and mathematical
N1  - Includes bibliographical references and index; Contents : Basics : the modal approach to knowledge--Various notions of knowledge and belief
ER  -