Lifting Logic