Dov M. Gabbay Karl Schlechta Logical Tools for Handling Change in Agent-Based Systems. I-X, 1-305 Springer 2010 Cognitive Technologies db/series/cogtech/index.html#0023988 978-3-642-04406-9 http://dx.doi.org/10.1007/978-3-642-04407-6