Theoretical aspects of reasoning about knowledge : proceedings of the fourth conference (TARK 1992), March 22-25, 1992, Monterey, California