Αποστολή με SMS: Logical structures for representation of knowledge and uncertainty