Work has been done on specifying knowledge producing actions such as observations, communication, default reasoning and belief revision in the framework of a multi-modal logic [3,2].
