“...Theoretical aspects of reasoning about knowledge Proceedings :Monterey, CA.)...”