Belief Revision meets Philosophy of Science (Logic,