Semantics of Belief Change Operators for Intelligent Agents Iteration, Postulates, and Realizability / - Sauerwald, K. (Akademische Verlagsgesellschaft AKA GmbH,)