Logic for Check-Raising