Logical Tools for Handling Change in Agent-Based Systems - Gabbay, Dov M.; Schlechta, Karl (Springer Berlin Heidelberg, 2010)