The dynamic turn in quantum logic.

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

Full description

Bibliographic Details

Published in:	Synthese Vol. 186; no. 3; pp. 753 - 774
Main Authors:	Baltag, Alexandru, Smets, Sonja
Format:	Article
Published:	Springer Nature May2012
Subjects:	Logic Formalism (Literary analysis) Physics Quantum logic Mathematical logic
Online Access:	View this record in EBSCOhost