Αποστολή με SMS: Theoretical aspects of reasoning about knowledge :