Reasoning about Quantum Actions: A Logician’s Perspective

• Sonja Smets ^[1]
  1. [1] University of Amsterdam

     University of Amsterdam

     Países Bajos

     
• Localización: New challenges to philosophy of science / coord. por Hanne Andersen, Dennis Dieks, Wenceslao J. González Fernández, Thomas Uebel, Gregory Wheeler, 2013, ISBN 978-94-007-5844-5, págs. 125-134
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

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