Pages that link to "Item:Q1611250"
From MaRDI portal
The following pages link to Disjunctive quantum logic in dynamic perspective (Q1611250):
Displaying 7 items.
- The dynamic turn in quantum logic (Q383006) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- Toward a more natural expression of quantum logic with Boolean fractions (Q815023) (← links)
- Stabilizing quantum disjunction (Q1633237) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Quantum Probabilistic Dyadic Second-Order Logic (Q2849423) (← links)
- Quantum State Transformations and Branching Distributed Temporal Logic (Q2938127) (← links)