Reasoning about quantum actions

a logician's perspective

Sonja Smets

pp. 125-134

in: Hanne Andersen, Dennis Dieks, Thomas Uebel, Wenceslao J. Gonzalez, Gregory Wheeler (eds), New challenges to philosophy of science, Berlin, Springer, 2013

Abstract

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).