Logical Abstract Interpretation