2 3 A pr 2 00 2 Logic of Dynamics & Dynamics of Logic ; Some Paradigm Examples

The development of operational quantum logic points out that classical boolean structures are too rigid to describe the actual and potential properties of quantum systems. Operational quantum logic bears upon basic axioms which are motivated by empirical facts and as such supports the dynamic shift from classical to non-classical logic resulting into a dynamics of logic. On the other hand, a dynamic extension of operational quantum logic allows us to express dynamic reasoning in the sense that we can capture how actual properties propagate, including their temporal causal structure. It is in this sense that passing from static operational quantum logic to dynamic operational quantum logic results in a true logic of dynamics that provides a unified logical description of systems which evolve or which are submitted to measurements. While focusing on the quantale semantics for dynamic operational quantum logic, we can analyze the points of difference with