The following pages link to The dynamic turn in quantum logic (Q383006):
Displaying 5 items.
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- A logical analysis of quantum voting protocols (Q682659) (← links)
- On the modal logic of the non-orthogonality relation between quantum states (Q1711507) (← links)
- Multimodal incompleteness under weak negations (Q1945703) (← links)
- Quantum logic for observation of physical quantities (Q6550524) (← links)
