Logical Tools for Handling Change in Agent-Based Systems - Dov M. Gabbay, Karl Schlechta ((Cognitive Technologies))