Abramsky, S;
Puljujärvi, J;
Väänänen, J;
(2025)
Team semantics and independence notions in quantum physics.
Bulletin of Symbolic Logic
10.1017/bsl.2025.10089.
(In press).
![[thumbnail of team-semantics-and-independence-notions-in-quantum-physics.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
team-semantics-and-independence-notions-in-quantum-physics.pdf - Accepted Version Access restricted to UCL open access staff until 16 February 2026. Download (850kB) |
Abstract
We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probabilistic team semantics, adapting a relational framework introduced in [1]. This also leads to new developments in independence logic and probabilistic independence logic.
| Type: | Article |
|---|---|
| Title: | Team semantics and independence notions in quantum physics |
| DOI: | 10.1017/bsl.2025.10089 |
| Publisher version: | https://doi.org/10.1017/bsl.2025.10089 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10213128 |
Archive Staff Only
 |
View Item |
