Sauerwald, Kai2024-11-182024-11-1820241610-1987http://dx.doi.org/10.1007/s13218-023-00830-9https://dl.gi.de/handle/20.500.12116/45391This paper summarises several contributions to the theory of belief change by the authors’ dissertation thesis. First, a relational characterization of belief revision for Tarskian logics is considered, encompassing first-order predicate logic, description logic, modal logics and many monotonic logics with model-theoretic semantics. Those logics where total preorders are the standard semantics for revision are characterized. The second contribution considered is a theory of belief revision that builds upon the idea that agents are limited in what the outcome of a revision is. Furthermore, advancements in principles for iterated belief contraction given in the thesis are outlined.03B4268T2768T30ContractionIterated belief changeRevisionTarskian logicsSemantics of Belief Change Operators for Intelligent AgentsText/Journal Article10.1007/s13218-023-00830-9