The following pages link to The dynamic turn in quantum logic (Q383006):
Displayed 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)
- Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect (Q6116356) (← links)