A Logic for Quantum Register Measurements