Logical Tools for Handling Change in Agent-Based