Modal Deduction Systems for Quantum State Transformations