A Comment on Work by Booth and Co-authors

摘要

Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K) can be represented by two relations, < and ?, where < is the usual ranked relation, and ? is a sub-relation of <. They have, however, left open a characterization of the infinite case, which we treat here.