Bell inequalities for entangled kaons and their unitary time evolution

We investigate Bell inequalities for neutral kaon systems from Phi resonance decay to test local realism versus quantum mechanics. We emphasize the unitary time evolution of the states, that means we also include all decay product states, in contrast to other authors. Only this guarantees the use of the complete Hilbert space. We develop a general formalism for Bell inequalities including both arbitrary "quasi spin" states and different times; finally we analyze Wigner-type inequalities. They contain an additional term, a correction function h, as compared to the spin 1/2 or photon case, which changes considerably the possibility of quantum mechanics to violate the Bell inequality. Examples for special "quasi spin" states are given, especially those which are sensitive to the CP parameters epsilon and epsilon'.