Αποστολή με SMS: Reactive Kripke Semantics