Related papers: Unifying Hidden-Variable Problems from Quantum Mec…
We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probabilistic team semantics, adapting a relational framework…
Hidden variables are extra components added to try to banish counterintuitive features of quantum mechanics. We start with a quantum-mechanical model and describe various properties that can be asked of a hidden-variable model. We present…
We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models,…
Hidden-variable models aim to reproduce the results of quantum theory and to satisfy our classical intuition. Their refutation is usually based on deriving predictions that are different from those of quantum mechanics. Here instead we…
Team semantics is the mathematical basis of modern logics of dependence and independence. In contrast to classical Tarski semantics, a formula is evaluated not for a single assignment of values to the free variables, but on a set of such…
Usually the 'hidden variables' of Bell's theorem are supposed to describe the pair of Bell particles. Here a semantic shift is proposed, namely to attach the hidden variables to a stochastic medium or field in which the particles move. It…
Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse…
We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different…
Efforts to construct deeper, realistic, level of physical description, in which individual systems have, like in classical physics, preexisting properties revealed by measurements are known as hidden-variable programs. Demonstrations that a…
Modal dependence logics are modal logics defined on the basis of team semantics and have the downward closure property. In this paper, we introduce sound and complete deduction systems for the major modal dependence logics, especially those…
Bell inequalities or Bell-like experiments are supposed to test hidden variable theories based on three intuitive assumptions: determinism, locality and measurement independence. If one of the assumptions of Bell inequality is properly…
Modern logics of dependence and independence are based on team semantics, which means that formulae are evaluated not on a single assignment of values to variables, but on a set of such assignments, called a team. This leads to high…
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of…
Three classes of local hidden-variable models that violate both Bell and Leggett inequalities are presented. The models, however, do not reproduce the quantum mechanical predictions, hence they are experimentally testable. It is concluded…
Quantum trajectory theories have not fully reconciled discrete quantum jumps with continuous unitary evolution. We address this challenge by developing a hidden variable formulation that reveals hidden correlations in individual trials. We…
The experimental violation of Bell inequality establishes necessary but not sufficient conditions that any theory must obey. Namely, a theory compatible with the experimental observations can satisfy at most two of the three hypotheses at…
The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called impossibility proofs for hidden variable…
We discuss the problem of hidden variables and the motivation for introducting them in quantum mechanics. These include determinism, and the problem of meassurement and incompleteness. We first discuss Von-Neumann's imposisbility proof and…
The hidden-variables premise is shown to be equivalent to the existence of generic filters for algebras of commuting propositions and for certain more general propositional systems. The significance of this equivalence is interpreted in…
This paper considers the complexity and properties of KLM-style preferential reasoning in the setting of propositional logic with team semantics and dependence atoms, also known as propositional dependence logic. Preferential team-based…