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

DOI10.1016/J.APAL.2022.103088MaRDI QIDQ2172822zbMATH OpenOpenAlexWikidataFDO

Authors Rafael Albert, Erich Grädel

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

dependence logichidden-variablesindependence logicKochen-Specker theoremnon-localityteam semantics

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)

Recommendations

• scientific article; zbMATH DE number 107612
• An impossibility theorem for parameter independent hidden variable theories
• Relational hidden variables and non-locality
• Context independence as a statistical property of hidden variable theories
• Hidden variables in quantum logic approach reexamined

Cites work

• A classification of hidden-variable properties
• A Suggested Interpretation of the Quantum Theory in Terms of "Hidden" Variables. I
• Axioms and algorithms for inferences involving probabilistic independence
• Bell-Kochen-Specker theorem: a proof with 18 vectors.
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
• Compositional semantics for a language of imperfect information
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Descriptive complexity of real computation and probabilistic independence logic
• Facets of distribution identities in probabilistic team semantics
• scientific article; zbMATH DE number 4094468 (Why is no real title available?)
• scientific article; zbMATH DE number 7075872 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Non-locality, contextuality and valuation algebras: a general theory of disagreement
• Nonlocality for two particles without inequalities for almost all entangled states
• On definability in dependence 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
• Probabilistic team semantics
• Relational hidden variables and non-locality
• The sheaf-theoretic structure of non-locality and contextuality
• von Neumann's `No hidden variables' proof: a re-appraisal

Cited in

(12)

• Context independence as a statistical property of hidden variable theories
• Relational hidden variables and non-locality
• The implication problem for functional dependencies and variants of marginal distribution equivalences
• Uncertainty and dependence in classical and quantum logic -- the role of triangular norms
• An impossibility theorem for parameter independent hidden variable theories
• Quantum team logic and Bell's inequalities
• scientific article; zbMATH DE number 107612 (Why is no real title available?)
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
• The implication problem for functional dependencies and variants of marginal distribution equivalences
• Team semantics and independence notions in quantum physics
• Counting of teams in first-order team logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2172822)