Quantum decoherence: a logical perspective - Sebastian Fortin; Leonardo Vanni (Springer Science+Business Media, 2015)