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