Describir: Theoretical aspects of reasoning about knowledge :