Pages that link to "Item:Q495836"

The following pages link to Duality for the logic of quantum actions (Q495836):

Displayed 5 items.

• Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices (Q682665) ‎ (← links)
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) ‎ (← links)
• On the modal logic of the non-orthogonality relation between quantum states (Q1711507) ‎ (← links)
• (Q5215500) ‎ (← links)
• Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect (Q6116356) ‎ (← links)