Qué es Lógica Dinámica Proposicional
Abstract:
In this paperweshowhowideas 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.
La Lógica cuántica dinámica: una nueva dirección en la investigación de los fundamentos lógicos de la física
ResponderEliminarPara incursionar en Lógica dinámica proposicional remito a la excelente artículo de la Enciclopedia Standford.
Sin duda disfrutarán de este artículo (tan difícil para los neófitos como yo en el campo de la lógica cuántica y la lógica dinámica), aquellos que incursiones en los campos de la Física con preocupaciones lógicas.