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 left triangle, open, where< is the usual ranked relation, and left triangle, open is a sub-relation of&l; . They have, however, left open a characterization of the infinite case, which we treat here.