How to give it up: A survey of some formal aspects of the logic of theory change