Repository | Book | Chapter

(2013) New challenges to philosophy of science, Dordrecht, Springer.
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).
Publication details
DOI: 10.1007/978-94-007-5845-2_11
Full citation:
Smets, S. (2013)., Reasoning about quantum actions: a logician's perspective, in H. Andersen, D. Dieks, T. Uebel, W. J. González & G. Wheeler (eds.), New challenges to philosophy of science, Dordrecht, Springer, pp. 125-134.
This document is unfortunately not available for download at the moment.