The following pages link to The dynamic turn in quantum logic (Q383006):
Displaying 4 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)
