Logical tools for handling change in agent-based systems

Abstract

We give a unified approach to various results and problems of nonclassical logics