The idea that emerged from the work in my PhD thesis and which received later a first full formalization in the paper on a "Complete Axiomatizations for Quantum Actions" (published in 2005), entails that all the fundamental operators at play in the foundations of quantum mechanics (orthocomplementation, superpositions etc.) are dynamic in nature. This means in logical terms that the quantum implication actually pre-encodes the result of possible quantum measurements and that the quantum negation pre-encodes the impossibility of performing certain measurements. Moreover, all essential constructs that you encounter in the main Hilbert space formalism used today (using a high-level view that abstracts away from probabilities), can be given a dynamic interpretation. The work in the mentioned paper provides the formal details to make all this precise, including two new main Representation Theorems which show that our dynamic axiomatic systems are complete with respect to the natural Hilbert-space semantics for single-systems. This Completeness Result shows that anything that is provable in the Hilbert space formalism for a single quantum system, is also provable in our abstract relational-logic setting and vice versa. The advantages of introducing this dynamic formal setting are many, as we listed them in our paper: "(1) it provides a clear and intuitive dynamic-operational meaning to key quantum postulates; (2) it reduces the complexity of the Solèr–Mayet axiomatization by replacing some of their key higher-order concepts (e.g. “automorphisms of the ortholattice”) by first-order objects (“actions”) in our structure; (3) it provides a link between traditional quantum logic and the needs of quantum computation."