The logic of analog clocks