Email Record: Theoretical aspects of reasoning about knowledge :