Describir: Quantum logic as a dynamic logic.