The dynamic turn in quantum logic
From MaRDI portal
Publication:383006
DOI10.1007/s11229-011-9915-7zbMath1275.03164OpenAlexW2078710420MaRDI QIDQ383006
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
quantum informationlogical dynamicsdynamic quantum logiclogical foundations of physicsoperational quantum logic
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
