A Logic for Probability in Quantum Systems.

Ron van der Meyden, Manas K. Patra

Browse the full CSL paper archive.