42 citations · 43 across the 3 of their papers we have counts for
3 papers
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…
cs.LO2021
Learning What Others Know
Alexandru Baltag, Sonja Smets
We propose a number of powerful dynamic-epistemic logics for multi-agent information sharing and acts of publicly or privately accessing other agents' information databases. The st…
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…