A Logic for Locally Complete Abstract Interpretations