Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence

DOI10.1016/j.apal.2022.103088OpenAlexW3131502779WikidataQ114209362 ScholiaQ114209362MaRDI QIDQ2172822

Erich Grädel, Rafael Albert

Publication date: 16 September 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.10931

zbMATH Keywords

non-localitydependence logicteam semanticsKochen-Specker theoremindependence logichidden-variables

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Contextuality in quantum theory (81P13) Alternative quantum mechanics (including hidden variables, etc.) (81Q65)

Related Items (2)

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ The implication problem for functional dependencies and variants of marginal distribution equivalences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• von Neumann's `No hidden variables' proof: a re-appraisal
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• Axioms and algorithms for inferences involving probabilistic independence
• Probabilistic team semantics
• Dependence and independence
• Relational hidden variables and non-locality
• Bell-Kochen-Specker theorem: a proof with \(18\) vectors.
• Facets of distribution identities in probabilistic team semantics
• A classification of hidden-variable properties
• Compositional semantics for a language of imperfect information
• Nonlocality for two particles without inequalities for almost all entangled states
• Non-locality, contextuality and valuation algebras: a general theory of disagreement
• The sheaf-theoretic structure of non-locality and contextuality
• Descriptive complexity of real computation and probabilistic independence logic
• On Dependence Logic
• On the Physical Significance of the Locality Conditions in the Bell Arguments
• On the Problem of Hidden Variables in Quantum Mechanics
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
• A Suggested Interpretation of the Quantum Theory in Terms of "Hidden" Variables. I

This page was built for publication: Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence