Central and East European
Society for Phenomenology

Repository | Journal | Volume | Article

235787

The dynamic turn in quantum logic

Alexandru BaltagSonja Smets

pp. 753-773

Abstract

In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the “dynamic turn” in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logical foundations of Quantum Physics, and in particular the area known as Operational Quantum Logic, as developed by Jauch and Piron (Helve Phys Acta 42:842–848, 1969), Piron (Foundations of Quantum Physics, 1976). By bringing these areas together we explain the basic ingredients of Dynamic Quantum Logic, a new direction of research in the logical foundations of physics.

Publication details

Published in:

Smets Sonja, van Benthem Johan (2012) Logic meets physics. Synthese 186 (3).

Pages: 753-773

DOI: 10.1007/s11229-011-9915-7

Full citation:

Baltag Alexandru, Smets Sonja (2012) „The dynamic turn in quantum logic“. Synthese 186 (3), 753–773.