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

Descripción completa

Detalles Bibliográficos

Publicado en:	Synthese Vol. 186; no. 3; pp. 753 - 774
Autores principales:	Baltag, Alexandru, Smets, Sonja
Formato:	Artículo
Publicado:	Springer Nature May2012
Materias:	Logic Formalism (Literary analysis) Physics Quantum logic Mathematical logic
Acceso en línea:	Ver este registro en EBSCOhost