A logical characterization of coherence for imprecise probabilities