Disjunctive quantum logic in dynamic perspective (Q1611250)

In ``Quantum logic in intuitionistic perspective'' [Stud. Log. 70, 411-440 (2002; Zbl 0999.03058)], the author proposed the intuitionistic or disjunctive representation of quantum logic. The property lattice of a physical system is represented as a complete Heyting algebra of logical propositions on these properties, equipped with an additional operation, the operational resolution. It identifies the properties within the logic of propositions. This representation has an important application ``towards dynamic quantum logic'', namely in describing the temporal indeterministic propagation of actual properties of physical systems. The paper discusses spin-off and thus provides an additional motivation to ``Quantum logic in intuitionistic perspective''. The author derives a quantaloidal semantics for dynamic disjunctive quantum logic and illustrates it for the particular case of a perfect (quantum) measurement.