Fermé, EduardoGonçalves, Sara2025-03-312025-03-312023-110888-613Xhttp://hdl.handle.net/10400.13/7220We present a model for iterating the Katsuno and Mendelzon Update (KM-Update) process, which is inspired by models developed for iterated belief revision in the AGM framework. Our model adapts the postulates of belief revision proposed by Darwiche and Pearl, including the independence postulate. We characterize two classes of iterated update operators based on natural and lexicographic revision. The semantics of our models are characterized using the framework of possible worlds.engBelief changeKM-updateIterationPossible world semantics.Faculdade de Ciências Exatas e da Engenhariajournal article10.1016/j.ijar.2023.109005