Theoretical Aspects of Reasoning About Knowledge