{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T18:43:50Z","timestamp":1785437030708,"version":"3.56.0"},"reference-count":48,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:00:00Z","timestamp":1755216000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2026,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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.<\/jats:p>","DOI":"10.1017\/bsl.2025.10089","type":"journal-article","created":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:29:17Z","timestamp":1755221357000},"page":"82-135","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":5,"title":["TEAM SEMANTICS AND INDEPENDENCE NOTIONS IN QUANTUM PHYSICS"],"prefix":"10.1017","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3921-6637","authenticated-orcid":false,"given":"SAMSON","family":"ABRAMSKY","sequence":"first","affiliation":[{"id":[{"id":"https:\/\/ror.org\/02jx3x895","id-type":"ROR","asserted-by":"publisher"}],"name":"UNIVERSITY COLLEGE LONDON"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5017-9211","authenticated-orcid":false,"given":"JONI","family":"PULJUJ\u00c4RVI","sequence":"additional","affiliation":[{"id":[{"id":"https:\/\/ror.org\/02jx3x895","id-type":"ROR","asserted-by":"publisher"}],"name":"UNIVERSITY COLLEGE LONDON"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4356-7974","authenticated-orcid":false,"given":"JOUKO","family":"V\u00c4\u00c4N\u00c4NEN","sequence":"additional","affiliation":[{"id":[{"id":"https:\/\/ror.org\/040af2s02","id-type":"ROR","asserted-by":"publisher"}],"name":"UNIVERSITY OF HELSINKI"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2025,8,15]]},"reference":[{"key":"S1079898625100899_r34","first-page":"59","article-title":"The problem of hidden variables in quantum mechanics","volume":"17","author":"Kochen","year":"1967","journal-title":"Journal of Mathematics and Mechanics"},{"key":"S1079898625100899_r21","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"S1079898625100899_r33","doi-asserted-by":"publisher","DOI":"10.1145\/3485628"},{"key":"S1079898625100899_r37","first-page":"1","article-title":"Experimental test of the greenberger\u2013horne\u2013zeilinger-type paradoxes in and beyond graph states","volume":"66","author":"Liu","year":"2021","journal-title":"Npj Quantum Information"},{"key":"S1079898625100899_r15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-90050-6_11"},{"key":"S1079898625100899_r10","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8113\/41\/42\/425302"},{"key":"S1079898625100899_r44","first-page":"377","volume-title":"Information Theory, Statistical Decision Functions and Random Processes. Transactions of the 11th Prague Conference","volume":"B","author":"Studeny","year":"1992"},{"key":"S1079898625100899_r16","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRev.47.777"},{"key":"S1079898625100899_r9","doi-asserted-by":"publisher","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195"},{"key":"S1079898625100899_r1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-013-9477-4"},{"key":"S1079898625100899_r14","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-017-9568-4"},{"key":"S1079898625100899_r46","doi-asserted-by":"publisher","DOI":"10.1142\/9789814571043_0005"},{"key":"S1079898625100899_r40","volume-title":"GRAPHOIDS: A Graph-Based Logic for Reasoning about Relevance Relations Or when Would X Tell You More about Y If You Already Know Z","author":"Pearl","year":"1986"},{"key":"S1079898625100899_r24","first-page":"1","volume-title":"27th International Conference on Database Theory (ICDT 2024)","volume":"290","author":"Hannula","year":"2024"},{"key":"S1079898625100899_r17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06025-5_4"},{"key":"S1079898625100899_r12","unstructured":"[12] Coladangelo, A. and Stark, J. , Unconditional separation of finite and infinite-dimensional quantum correlations, preprint, 2018, arXiv:1804.05116."},{"key":"S1079898625100899_r8","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2023\/8"},{"key":"S1079898625100899_r36","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2022.3190800"},{"key":"S1079898625100899_r19","unstructured":"[19] Gr\u00e4del, E. and Tannen, V. , Semiring provenance for first-order model checking, Preprint, 2017, arXiv:1712.01980."},{"key":"S1079898625100899_r48","volume-title":"Mathematical Foundations of Quantum Mechanics: New Edition","volume":"53","author":"Von Neumann","year":"2018"},{"key":"S1079898625100899_r29","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1148"},{"key":"S1079898625100899_r23","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2014.09.002"},{"key":"S1079898625100899_r13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511524738"},{"key":"S1079898625100899_r2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmp.2016.03.006"},{"key":"S1079898625100899_r28","first-page":"167","volume-title":"Infinitistic Methods (Proceeding of Symposium: The Foundations of Mathematics, Warsaw, 1959)","author":"Henkin","year":"1961"},{"key":"S1079898625100899_r5","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9415-6"},{"key":"S1079898625100899_r3","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/11\/113036"},{"key":"S1079898625100899_r31","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-017-0535-x"},{"key":"S1079898625100899_r32","doi-asserted-by":"publisher","DOI":"10.2307\/2214878"},{"key":"S1079898625100899_r20","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-013-9479-2"},{"key":"S1079898625100899_r47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47843-2_12"},{"key":"S1079898625100899_r35","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.05.006"},{"key":"S1079898625100899_r25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-19570-0_20"},{"key":"S1079898625100899_r39","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1988"},{"key":"S1079898625100899_r18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01326983"},{"key":"S1079898625100899_r4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2015.09.003"},{"key":"S1079898625100899_r42","first-page":"140","volume-title":"Events and Processes in the Quantum World","author":"Shimony","year":"1993"},{"key":"S1079898625100899_r22","doi-asserted-by":"publisher","DOI":"10.1119\/1.16243"},{"key":"S1079898625100899_r11","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62257"},{"key":"S1079898625100899_r38","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Manzano","year":"2022"},{"key":"S1079898625100899_r30","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020315000192"},{"key":"S1079898625100899_r7","unstructured":"[7] Armstrong, W. W. , Dependency structures of data base relationships , Information Processing 74 (Proc. IFIP Congress, Stockholm, 1974) ( Rosenfeld, J. L. , editor), North-Holland, Stockholm, Sweden, 1974, pp. 580\u2013583."},{"key":"S1079898625100899_r27","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.71.1665"},{"key":"S1079898625100899_r43","doi-asserted-by":"publisher","DOI":"10.1017\/fmp.2018.3"},{"key":"S1079898625100899_r26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-72056-2_12"},{"key":"S1079898625100899_r6","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2022.103088"},{"key":"S1079898625100899_r45","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193"},{"key":"S1079898625100899_r41","doi-asserted-by":"publisher","DOI":"10.1145\/322290.322297"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898625100899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:05:42Z","timestamp":1772449542000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898625100899\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,15]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["S1079898625100899"],"URL":"https:\/\/doi.org\/10.1017\/bsl.2025.10089","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,15]]},"assertion":[{"value":"\u00a9 The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}