Logical Tools for Handling Change in Agent-Based Systems by Karl Schlechta & Professor Dov M. Gabbay