A modal logic translation of the AGM axioms for belief revision