Correction: Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence

Acta Informatica (2025) 62:11 https://doi.org/10.1007/s00236-025-00477-z CORRECTION Correction: Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence Shengyang Zhong1 Accepted: 7 January 2025 © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2025 Correction: Acta Informatica (2024) 62:7 https://doi.org/10.1007/s00236-024-00472-w In the original version of this article, the title was incorrectly given as “Birkhoff-von Neumann quantum logic as an assertion language for quantum programs” but should have been “Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence”. The original article has been corrected. Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. The online version of the original article can be found at https://doi.org/10.1007/s00236-024-00472-w Shengyang Zhong ; 1 Institute of Foreign Philosophy, Department of Philosophy and Religious Studies, Peking University, No.5 Yiheyuan Road, Beijing 100871, China 13  (...truncated)