Reasoning about information change
logic for reasoning about information change in a multi-agent system
scientific article; zbMATH DE number 1019910