42 citations · 93 across the 13 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2021★ 1 cited
LQP: The Dynamic Logic of Quantum Information
Alexandru Baltag, Sonja Smets
The main contribution of this paper is the introduction of a dynamic logic formalism for reasoning about information flow in composite quantum systems. This builds on our previous…
quant-ph2021★ 42 cited
The Logic of Quantum Programs
Alexandru Baltag, Sonja Smets
We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measureme…