The logic of quantum actions: reasoning about change in quantum systems