2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/89006We reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed change. We propose a corresponding syntax involving operational quantum logic and a fragment of non-commutative linear logic.6 pages. The published version suffered seriously in the editing process (\otimes and \oplus, and {\cal P} and P, and references got mixed up in a slightly random way); corrected proofs seem to have dissapeared at the editorial officeQuantum PhysicsLogictext