Repository | Book | Chapter

In this paper I give an overview of how the work on quantum dynamic logic for single systems (as developed in [2]) builds on the concepts of (dynamic) modal logic and incorporates the methodology of logical dynamics and action based reasoning into its setting. I show in particular how one can start by modeling quantum actions (i.e. measurements and unitary evolutions) in a dynamic logic framework and obtain a setting that improves on the known theorems in traditional quantum logic (stated in the context of orthomodular lattices).

DOI: 10.1007/978-94-007-5845-2_11

Full citation: