Pages that link to "Item:Q5482272"
From MaRDI portal
The following pages link to LQP: the dynamic logic of quantum information (Q5482272):
Displaying 23 items.
- Logics of informational interactions (Q266639) (← links)
- The dynamic turn in quantum logic (Q383006) (← links)
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- Duality for the logic of quantum actions (Q495836) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- Correlated knowledge: an epistemic-logic view on quantum entanglement (Q616826) (← links)
- On definition of skew frames (Q616841) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- A logical analysis of quantum voting protocols (Q682659) (← 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)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- A logic for quantum register measurements (Q2306145) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Correlated Information: A Logic for Multi-Partite Quantum Systems (Q2825361) (← links)
- Classical Knowledge for Quantum Cryptographic Reasoning (Q2864501) (← links)
- QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS (Q3534212) (← links)
- Automated quantum program verification in dynamic quantum logic (Q6546614) (← links)
- Quantum logic for observation of physical quantities (Q6550524) (← links)
- Reconstructing quantum theory from its possibilistic operational formalism (Q6589995) (← links)
