On Modal Refinement and Consistency