Αποστολή με SMS: Logical Structures for Representation of Knowledge and Uncertainty