Αποστολή με SMS: Epistemic and temporal reasoning /