TY  - RPRT
TI  - LQP: The Dynamic Logic of Quantum Information
AU  - Alexandru Baltag
AU  - Sonja Smets
PY  - 2021
UR  - https://arxiv.org/abs/2110.01361
ID  - 2110.01361
ER  -