Quantum logic for observation of physical quantities

DOI10.1007/978-3-031-26622-5_6MaRDI QIDQ6550524

Tomoaki Kawano

Publication date: 5 June 2024

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The dynamic turn in quantum logic
• A quantum computational semantics for epistemic logical operators. I: Epistemic structures
• A quantum computational semantics for epistemic logical operators. II: Semantics
• Quantum logic as a dynamic logic
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• Proof analysis in modal logic
• A dynamic-logical perspective on quantum behavior
• Propositional dynamic logic of regular programs
• Quantum logic in algebraic approach
• Proof theory for minimal quantum logic. I
• Proof theory for minimal quantum logic. II
• Extended quantum logic
• Modeling correlated information change: from conditional beliefs to quantum conditionals
• Correspondence between Kripke frames and projective geometries
• On the modal logic of the non-orthogonality relation between quantum states
• Handbook of philosophical logic. Vol. 6
• The logic of quantum mechanics
• Quantum logic is undecidable
• Sequential method in quantum logic
• LQP: the dynamic logic of quantum information

This page was built for publication: Quantum logic for observation of physical quantities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6550524)