Quantum logic as a dynamic logic

DOI10.1007/s11229-010-9783-6zbMath1221.81022OpenAlexW2106410261MaRDI QIDQ542128

Sonja Smets, Alexandru Baltag

Publication date: 8 June 2011

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-010-9783-6

zbMATH Keywords

dynamic quantum logicempirical conception of logiclogic of quantum actionssemantics of experimental theories

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (20)

Logics of informational interactions ⋮ A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ The dynamic turn in quantum logic ⋮ A first-order epistemic quantum computational semantics with relativistic-like epistemic effects ⋮ Beyond-quantum modeling of question order effects and response replicability in psychological measurements ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Why classical logic is privileged: justification of logics based on translatability ⋮ Unnamed Item ⋮ Quantum dice ⋮ Speakable in quantum mechanics ⋮ PLQP \& Company: decidable logics for quantum algorithms ⋮ A survey of quantum-like approaches to decision making and cognition ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ Quantum cognition and bounded rationality ⋮ A logical analysis of quantum voting protocols ⋮ Implicit and explicit stances in logic ⋮ Modal translation of substructural logics ⋮ A logic for quantum register measurements ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism

Cites Work

• Correlated knowledge: an epistemic-logic view on quantum entanglement
• On state spaces and property lattices
• Complete axiomatizations for quantum actions
• A dynamic-logical perspective on quantum behavior
• Is (quantum) logic empirical?
• Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
• Semantic analysis of orthologic
• 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.
• If quanta had logic
• Quantum Logic, Realism, and Value Definiteness
• Logical Dynamics of Information and Interaction
• Orthomodularity is not elementary
• Characterization of hilbert spaces by orthomodular spaces
• 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

This page was built for publication: Quantum logic as a dynamic logic