{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T22:50:32Z","timestamp":1772491832955,"version":"3.50.1"},"reference-count":9,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2015,6,11]],"date-time":"2015-06-11T00:00:00Z","timestamp":1433980800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2015,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A logical approach to Bell\u2019s Inequalities of quantum mechanics has been introduced by Abramsky and Hardy (Abramsky &amp; Hardy, 2012). We point out that the logical Bell\u2019s Inequalities of Abramsky &amp; Hardy (2012) are provable in the probability logic of Fagin, Halpern and Megiddo (Fagin <jats:italic>et al.<\/jats:italic>, 1990). Since it is now considered empirically established that quantum mechanics violates Bell\u2019s Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell\u2019s Inequalities are not provable, and prove a Completeness theorem for this logic. For this end we generalise the team semantics of dependence logic (V\u00e4\u00e4n\u00e4nen, 2007) first to probabilistic team semantics, and then to what we call quantum team semantics.<\/jats:p>","DOI":"10.1017\/s1755020315000192","type":"journal-article","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T06:07:37Z","timestamp":1437026857000},"page":"722-742","source":"Crossref","is-referenced-by-count":23,"title":["QUANTUM TEAM LOGIC AND BELL\u2019S INEQUALITIES"],"prefix":"10.1017","volume":"8","author":[{"given":"TAPANI","family":"HYTTINEN","sequence":"first","affiliation":[]},{"given":"GIANLUCA","family":"PAOLINI","sequence":"additional","affiliation":[]},{"given":"JOUKO","family":"V\u00c4\u00c4N\u00c4NEN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,6,11]]},"reference":[{"key":"S1755020315000192_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"S1755020315000192_ref7","volume-title":"The Feynman Lectures on Physics. Quantum Mechanics","author":"Feynman","year":"1965"},{"key":"S1755020315000192_ref3","doi-asserted-by":"publisher","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195"},{"key":"S1755020315000192_ref8","unstructured":"Hyttinen T. , Paolini G. , & V\u00e4\u00e4n\u00e4nen J. Measure teams. In preparation."},{"key":"S1755020315000192_ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.85.062114"},{"key":"S1755020315000192_ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRev.47.777"},{"key":"S1755020315000192_ref1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/11\/113036"},{"key":"S1755020315000192_ref4","doi-asserted-by":"publisher","DOI":"10.2307\/1968621"},{"key":"S1755020315000192_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020315000192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T01:20:15Z","timestamp":1555723215000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020315000192\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,11]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["S1755020315000192"],"URL":"https:\/\/doi.org\/10.1017\/s1755020315000192","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,11]]}}}