Quantum State Transformations and Branching Distributed Temporal Logic