A logic for signal inserted timed frames by J.A. Bergsma