Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / - Halpern, Joseph Y., (M. Kaufmann Publishers,)