{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T17:09:35Z","timestamp":1781284175691,"version":"3.54.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,3,9]],"date-time":"2013-03-09T00:00:00Z","timestamp":1362787200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s11225-013-9477-4","type":"journal-article","created":{"date-parts":[[2013,3,8]],"date-time":"2013-03-08T04:21:07Z","timestamp":1362716467000},"page":"411-452","source":"Crossref","is-referenced-by-count":22,"title":["Relational Hidden Variables and Non-Locality"],"prefix":"10.1007","volume":"101","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,3,9]]},"reference":[{"key":"9477_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., and A. Brandenburger, The sheaf-theoretic structure of nonlocality and contextuality, Arxiv preprint arXiv:1102.0264, 2011.","DOI":"10.1088\/1367-2630\/13\/11\/113036"},{"key":"9477_CR2","doi-asserted-by":"crossref","unstructured":"Barendregt, H. P., Lambda calculi with types, in S. Abramsky, D. Gabbay, and T. Maibaum, (eds.), Handbook of logic in computer science, vol. 2, Oxford University Press, 1992, pp. 117\u2013309.","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"issue":"2","key":"9477_CR3","doi-asserted-by":"crossref","first-page":"22101","DOI":"10.1103\/PhysRevA.71.022101","volume":"71","author":"J. Barrett","year":"2005","unstructured":"Barrett J., Linden N., Massar S., Pironio S., Popescu S., Roberts D. (2005) Nonlocal correlations as an information-theoretic resource. Physical Review A 71(2): 22101","journal-title":"Physical Review A"},{"issue":"3","key":"9477_CR4","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","volume":"1","author":"S. Bell J.","year":"1964","unstructured":"Bell J. S. (1964) On the Einstein-Podolsky-Rosen paradox. Physics 1(3): 195\u2013200","journal-title":"Physics"},{"key":"9477_CR5","unstructured":"Brandenburger, A., and H. J. Keisler, Observable implications of unobservable variables, 2010. Available at http:\/\/pages.stern.nyu.edu\/abranden\/oiuv-06-22-10.pdf ."},{"key":"9477_CR6","doi-asserted-by":"crossref","first-page":"425302","DOI":"10.1088\/1751-8113\/41\/42\/425302","volume":"41","author":"A. Brandenburger","year":"2008","unstructured":"Brandenburger A., Yanofsky N (2008) A classification of hidden-variable properties. Journal of Physics A: Mathematical and Theoretical 41: 425302","journal-title":"Journal of Physics A: Mathematical and Theoretical"},{"issue":"4","key":"9477_CR7","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0375-9601(96)00134-X","volume":"212","author":"A. Cabello","year":"1996","unstructured":"Cabello A., Estebaranz J.M., Garc\u00eda-Alcaine G. (1996) Bell-Kochen-Specker theorem: A proof with 18 vectors. Physics Letters A 212(4): 183\u2013187","journal-title":"Physics Letters A"},{"key":"9477_CR8","doi-asserted-by":"crossref","unstructured":"Canny, J., Some algebraic and geometric computations in PSPACE, in Proceedings of the twentieth annual ACM symposium on Theory of computing, ACM, 1988, pp. 460\u2013 469.","DOI":"10.1145\/62212.62257"},{"issue":"15","key":"9477_CR9","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1103\/PhysRevLett.23.880","volume":"23","author":"J.F. Clauser","year":"1969","unstructured":"Clauser J.F., Horne M.A., Shimony A., Holt R.A. (1969) Proposed experiment to test local hidden-variable theories. Physical Review Letters 23(15): 880\u2013884","journal-title":"Physical Review Letters"},{"key":"9477_CR10","doi-asserted-by":"crossref","unstructured":"Dickson, W. M., Quantum chance and non-locality, Cambridge University Press, 1999.","DOI":"10.1017\/CBO9780511524738"},{"key":"9477_CR11","doi-asserted-by":"crossref","unstructured":"Dubois, D., J. Lang, and H. Prade, Possibilistic logic, in D. Gabbay and C. J. Hogger, (eds.), Handbook of logic in artificial intelligence and logic programming: nonmonotonic reasoning and uncertain reasoning, vol. 3, Oxford University Press, 1994, pp. 439\u2013513.","DOI":"10.1093\/oso\/9780198537472.003.0009"},{"issue":"10","key":"9477_CR12","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1103\/PhysRev.47.777","volume":"47","author":"A. Einstein","year":"1935","unstructured":"Einstein A., Podolsky B., Rosen N. (1935) Can quantum-mechanical description of physical reality be considered complete?, Physical Review 47(10): 777\u2013780","journal-title":"Physical Review"},{"issue":"5","key":"9477_CR13","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1103\/PhysRevLett.48.291","volume":"48","author":"A. Fine","year":"1982","unstructured":"Fine A. (1982) Hidden variables, joint probability, and the Bell inequalities. Physical Review Letters 48(5): 291\u2013295","journal-title":"Physical Review Letters"},{"key":"9477_CR14","unstructured":"Fritz, T., Possibilistic Physics, FXQi essay, available at http:\/\/www.fqxi.org\/community\/forum\/topic\/569 , 2009."},{"key":"9477_CR15","unstructured":"Fritz, T., Quantum analogues of Hardy\u2019s nonlocality paradox, Arxiv preprint arXiv:1006.2497, 2010."},{"key":"9477_CR16","doi-asserted-by":"crossref","unstructured":"Ghirardi, G. C., A. Rimini, and T. Weber, A general argument against superluminal transmission through the quantum mechanical measurement process, Lettere Al Nuovo Cimento (1971\u20131985) 27(10):293\u2013298, 1980.","DOI":"10.1007\/BF02817189"},{"key":"9477_CR17","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1119\/1.16243","volume":"58","author":"D.M. Greenberger","year":"1990","unstructured":"Greenberger D.M., Horne M.A., Shimony A., Zeilinger A. (1990) Bell\u2019s theorem without inequalities. American Journal of Physics 58: 1131","journal-title":"American Journal of Physics"},{"issue":"11","key":"9477_CR18","doi-asserted-by":"crossref","first-page":"1665","DOI":"10.1103\/PhysRevLett.71.1665","volume":"71","author":"L. Hardy","year":"1993","unstructured":"Hardy L. (1993) Nonlocality for two particles without inequalities for almost all entangled states. Physical Review Letters 71(11): 1665\u20131668","journal-title":"Physical Review Letters"},{"issue":"4","key":"9477_CR19","doi-asserted-by":"crossref","first-page":"569","DOI":"10.2307\/2214878","volume":"18","author":"J.P. Jarrett","year":"1984","unstructured":"Jarrett J.P. (1984) On the physical significance of the locality conditions in the Bell arguments. No\u00fbs 18(4): 569\u2013589","journal-title":"No\u00fbs"},{"issue":"6-7","key":"9477_CR20","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1016\/0375-9601(83)90713-2","volume":"94","author":"T.F. Jordan","year":"1983","unstructured":"Jordan T.F. (1983) Quantum correlations do not transmit signals. Physics Letters A 94(6-7): 264","journal-title":"Physics Letters A"},{"issue":"4","key":"9477_CR21","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1086\/289885","volume":"62","author":"J.B. Kennedy","year":"1995","unstructured":"Kennedy J.B. (1995) On the empirical foundations of the quantum no-signalling proofs. Philosophy of Science 62(4): 543\u2013560","journal-title":"Philosophy of Science"},{"issue":"7","key":"9477_CR22","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1007\/BF01889686","volume":"22","author":"L.A. Khalfin","year":"1992","unstructured":"Khalfin L.A., Tsirelson B.S. (1992) Quantum\/classical correspondence in the light of Bell\u2019s inequalities. Foundations of physics 22(7): 879\u2013948","journal-title":"Foundations of physics"},{"issue":"1","key":"9477_CR23","first-page":"59","volume":"17","author":"S. Kochen","year":"1967","unstructured":"Kochen S., Specker E.P. (1967) The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics 17(1): 59\u201387","journal-title":"Journal of Mathematics and Mechanics"},{"key":"9477_CR24","doi-asserted-by":"crossref","unstructured":"Libkin, L., Elements of finite model theory, Springer Verlag, 2004.","DOI":"10.1007\/978-3-662-07003-1"},{"issue":"8","key":"9477_CR25","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1119\/1.16503","volume":"58","author":"N.D. Mermin","year":"1990","unstructured":"Mermin N.D. (1990) Quantum mysteries revisited. American Journal of Physics 58(8): 731\u2013734","journal-title":"American Journal of Physics"},{"issue":"27","key":"9477_CR26","doi-asserted-by":"crossref","first-page":"3373","DOI":"10.1103\/PhysRevLett.65.3373","volume":"65","author":"N.D. Mermin","year":"1990","unstructured":"Mermin N.D. (1990) Simple unified form for the major no-hidden-variables theorems. Physical Review Letters 65(27): 3373\u20133376","journal-title":"Physical Review Letters"},{"key":"9477_CR27","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1119\/1.17733","volume":"62","author":"N.D. Mermin","year":"1994","unstructured":"Mermin N.D. (1994) Quantum mysteries refined. American Journal of Physics 62: 880","journal-title":"American Journal of Physics"},{"key":"9477_CR28","unstructured":"Nielsen, M. Q. C., and I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2000."},{"key":"9477_CR29","unstructured":"Pitowsky, I., Quantum Probability, Quantum Logic, vol. 321 of Lecture Notes in Physics, Springer, 1989."},{"issue":"3","key":"9477_CR30","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF02058098","volume":"24","author":"S. Popescu","year":"1994","unstructured":"Popescu S., Rohrlich D. (1994) Quantum nonlocality as an axiom. Foundations of Physics 24(3): 379\u2013385","journal-title":"Foundations of Physics"},{"key":"9477_CR31","unstructured":"Renegar, J., On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals, Journal of Symbolic Computation 13(3):255\u2013299, 1992."},{"key":"9477_CR32","unstructured":"Shimony, A., Events and processes in the quantum world, in R. Penrose and C. J. Isham, (eds.), Quantum concepts in space and time, Oxford University Press, 1986, pp. 182\u2013203."},{"key":"9477_CR33","doi-asserted-by":"crossref","unstructured":"Tarski, A., A decision method for elementary algebra and geometry: prepared for publication with the assistance of J. C. C. McKinsey, Tech. rep., Rand Corporation, 1951.","DOI":"10.1525\/9780520348097"},{"key":"9477_CR34","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00417500","volume":"4","author":"B.S. Tsirelson","year":"1980","unstructured":"Tsirelson B.S. (1980) Quantum generalizations of Bell\u2019s Inequality. Letters in Mathematical Physics 4: 93\u2013100","journal-title":"Letters in Mathematical Physics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9477-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9477-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9477-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T00:54:43Z","timestamp":1715043283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9477-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,9]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["9477"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9477-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,9]]}}}