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