A dynamic-logical perspective on quantum behavior

DOI10.1007/s11225-008-9126-5zbMath1144.81432OpenAlexW2135567477MaRDI QIDQ941738

Alexandru Baltag, Sonja Smets

Publication date: 2 September 2008

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://pure.uva.nl/ws/files/1090413/63108_300613.pdf

zbMATH Keywords

Dynamic Epistemic LogicDynamic Quantum LogicLogical DynamicsPhilosophy of Quantum Information

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Quantum measurement theory, state operations, state preparations (81P15)

Related Items

Logics of informational interactions ⋮ The dynamic turn in quantum logic ⋮ The logic of empirical theories revisited ⋮ Modelling phenomena and dynamic logic of phenomena ⋮ Correlated knowledge: an epistemic-logic view on quantum entanglement ⋮ Probability logics for reasoning about quantum observations ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ A logical analysis of quantum voting protocols ⋮ Quantum logic as a dynamic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complete axiomatizations for quantum actions
• Probabilistic dynamic belief revision
• 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]
• Logics for epistemic programs
• Dynamic logic for belief revision
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• The Logic of Entanglement
• LQP: the dynamic logic of quantum information
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?