Αποστολή με SMS: Logical Tools for Handling Change in Agent-Based Systems