Text this: A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.