A Logic-Based Approach to Incremental Reasoning on Multi-agent Systems | Publicación