The Internet Archive has a preservation copy of this work in our general collections.
The file type is
This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of "(static) operational quantum logic" points out that classical boolean structures are too rigid to describe the actual and potential properties of quantum systems. On the other hand, an intuitionistic perspective on operational quantum logic, guides us in the direction ofarXiv:math/0106059v6 fatcat:5n67ws3lbrgbndd2ikygnfjmj4