On the logic of theory change iteration of KM-update

We 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.