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