Epistemic logic for AI and computer science
J.-J. Ch. Meyer, W. van der Hoek
- Cambridge Cambridge University Press c1995
- xiii, 354 p. : ill. ; 26 cm
Includes bibliographical references (p. 331-346) and index
9780521602808
Artificial Intelligence Computer science Logic, Symbolic and mathematical