Time-dependent Bell inequalities in a Wigner form.

We propose time-dependent Bell inequalities in a Wigner form, which expand the possibilities of experimental verification of Bohr's principle of complementarity in the relativistic domain and for nonstationary quantum-mechanical systems. Derivation of the proposed inequalities is based entirely on the Kolmogorov axiomatics of probability theory and the locality hypothesis. Violation of the obtained inequalities is considered in the framework of quantum theory based on the example of oscillations of neutral B mesons. [ABSTRACT FROM AUTHOR]