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