Formal Theories of Belief Revision