Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples

Bob Coecke, David J. Moore, Sonja Smets

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 ar…