Minimal change in AGM revision for non-classical logics
Márcio Moretto Ribeiro, Renata Wassermann · Principles of Knowledge Representation and Reasoning · 2014
In this paper, we address the problem of applying AGM-style belief revision to non-classical logics. We discuss the idea of minimal change in revision and show that for non-classical logics, some sort of minimality postulate has to be explicitly introduced. We also present two constructions for revision which satisfy the AGM postulates and prove the representation theorems including minimality postulates.