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

• Complexity Results in Team Semantics: Nonemptiness Is Not So Complex

  2026 Lecture notes in computer science conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

  0

  citations
• Counting of Teams in First-Order Team Logics

  2025 ACM Transactions on Computational Logic article Computer Science Formal Methods in Verification Open access

  0

  citations
• “Fundamental randomness” by the “apophatic” Kochen - Specker theorem: Toward a universal method in Hilbert arithmetic’s number theory

  2025 preprint Physics and Astronomy Quantum Mechanics and Applications Open access

  1

  citations
• "Fundamental randomness" by the "apophatic" Kochen -Specker theorem: Toward a universal method in Hilbert arithmetic's number theory

  2025 SSRN Electronic Journal preprint Physics and Astronomy Quantum Mechanics and Applications Open access

  2

  citations
• The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences

  2024 ACM Transactions on Computational Logic article Computer Science Logic, Reasoning, and Knowledge Open access

  2

  citations
• Unified Foundations of Team Semantics via Semirings

  2023 conference-paper Computer Science Semantic Web and Ontologies Open access

  4

  citations
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

  2022 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge Open access

  11

  citations
• On elementary logics for quantitative dependencies

  2022 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge Open access

  2

  citations
• The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences

  2022 Lecture notes in computer science conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

  2

  citations

9 results

• Axioms and algorithms for inferences involving probabilistic independence

  1991 Information and Computation article Computer Science Bayesian Modeling and Causal Inference Open access

  113

  citations
• On the implication problem for probabilistic conditional independency

  2000 IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans article Computer Science Bayesian Modeling and Causal Inference

  106

  citations
• De Broglie-Bohm, delayed-choice, double-slit experiment, and density matrix

  2009 International Journal of Quantum Chemistry article Physics and Astronomy Quantum Mechanics and Applications

  80

  citations
• On Definability in Dependence Logic

  2009 Journal of Logic Language and Information article Mathematics Advanced Topology and Set Theory

  72

  citations
• 29th EACSL Annual Conference on Computer Science Logic, CSL 2021

  2021 HAL (Le Centre pour la Communication Scientifique Directe) book Computer Science Logic, programming, and type systems

  67

  citations
• Von Neumann’s ‘No Hidden Variables’ Proof: A Re-Appraisal

  2010 Foundations of Physics article Physics and Astronomy Quantum Mechanics and Applications Open access

  62

  citations
• A classification of hidden-variable properties

  2008 Journal of Physics A Mathematical and Theoretical article Physics and Astronomy Quantum Mechanics and Applications Open access

  48

  citations
• Relational Hidden Variables and Non-Locality

  2013 Studia Logica article Physics and Astronomy Quantum Mechanics and Applications Open access

  41

  citations
• The Kochen-Specker Theorem

  2007 article Physics and Astronomy Quantum Mechanics and Applications

  41

  citations
• Dependence Logic : A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)

  2007 book Mathematics Advanced Topology and Set Theory

  29

  citations
• Probabilistic Team Semantics

  2018 Lecture notes in computer science conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

  24

  citations
• Facets of Distribution Identities in Probabilistic Team Semantics

  2019 Lecture notes in computer science conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

  21

  citations
• Logics in Artificial Intelligence (JELIA 2004)

  2004 article Computer Science Logic, Reasoning, and Knowledge

  16

  citations
• On Dependence Logic

  2014 Outstanding contributions to logic book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

  15

  citations
• Non-locality, contextuality and valuation algebras: a general theory of disagreement

  2019 Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences article Physics and Astronomy Quantum Mechanics and Applications Open access

  15

  citations
• W3103522412

  details pending

  0

  citations
• W6638701344

  details pending

  0

  citations
• W6660417667

  details pending

  0

  citations
• W6677973845

  details pending

  0

  citations
• W6749431901

  details pending

  0

  citations