Pages that link to "Item:Q2495653"
From MaRDI portal
The following pages link to Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653):
Displaying 18 items.
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Importing logics (Q694499) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Wave-particle duality and the objectiveness of ``true'' and ``false'' (Q2241464) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- A quantum-BDI model for information processing and decision making (Q2342852) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- A process algebra for reasoning about quantum security (Q2864166) (← links)
- Exogenous probabilistic computation tree logic (Q2870286) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS (Q3534212) (← links)
- Temporalization of Probabilistic Propositional Logic (Q3605519) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- Probabilistic Logic over Paths (Q5415665) (← links)