Pages that link to "Item:Q861649"

The following pages link to Complete axiomatizations for quantum actions (Q861649):

Displaying 21 items.

• Logics of informational interactions (Q266639) (← links)
• The dynamic turn in quantum logic (Q383006) (← links)
• Duality for the logic of quantum actions (Q495836) (← links)
• Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
• Quantum logic as a dynamic logic (Q542128) (← links)
• Correlated knowledge: an epistemic-logic view on quantum entanglement (Q616826) (← links)
• A logical analysis of quantum voting protocols (Q682659) (← links)
• Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices (Q682665) (← links)
• A dynamic-logical perspective on quantum behavior (Q941738) (← links)
• A first-order epistemic quantum computational semantics with relativistic-like epistemic effects (Q1677936) (← links)
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
• Modeling correlated information change: from conditional beliefs to quantum conditionals (Q1701692) (← links)
• Correspondence between Kripke frames and projective geometries (Q1708104) (← links)
• On the modal logic of the non-orthogonality relation between quantum states (Q1711507) (← links)
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
• Correlated Information: A Logic for Multi-Partite Quantum Systems (Q2825361) (← links)
• First-order frames for orthomodular quantum logic (Q4586154) (← links)
• DISTANCES BETWEEN FORMAL THEORIES (Q5117596) (← links)
• (Q5215500) (← links)
• Quantum entanglement: an analysis via the orthogonality relation (Q6168885) (← links)
• Quantum states: an analysis via the orthogonality relation (Q6180173) (← links)