Dynamic Quantum Logic for Quantum Programs

Olivier Brunet, Philippe Jorrand

We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transform…