Title: Reasoning with model-based belief revision semantics