Sara Gonçalves

On the logic of theory change iteration of KM-update

2023 · International Journal of Approximate Reasoning

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 …