The dynamic turn in quantum logic

DOI10.1007/s11229-011-9915-7zbMath1275.03164OpenAlexW2078710420MaRDI QIDQ383006

Sonja Smets, Alexandru Baltag

Publication date: 25 November 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9915-7

zbMATH Keywords

quantum informationlogical dynamicsdynamic quantum logiclogical foundations of physicsoperational quantum logic

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Logic in the philosophy of science (03A10)

Related Items (5)

Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Multimodal incompleteness under weak negations ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ PLQP \& Company: decidable logics for quantum algorithms ⋮ A logical analysis of quantum voting protocols

Cites Work

• Quantum logic as a dynamic logic
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• On state spaces and property lattices
• Traditional logic, modern logic and natural language
• Complete axiomatizations for quantum actions
• A dynamic-logical perspective on quantum behavior
• Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
• Semantic analysis of orthologic
• On a duality of quantales emerging from an operational resolution
• The Sasaki hook is not a [static implicative connective but induces a backward [in time] dynamic one that assigns causes]
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Semantics of the minimal logic of quantum mechanics
• The lattice theoretic background of the dimension theory of operator algebras
• Orthomodularity is not elementary
• Characterization of hilbert spaces by orthomodular spaces
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics
• LQP: the dynamic logic of quantum information
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The dynamic turn in quantum logic