The following pages link to (Q3527403):
Displayed 10 items.
- Importing logics (Q694499) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653) (← links)
- Exogenous Probabilistic Computation Tree Logic (Q2870286) (← links)
- An Equation-Based Classical Logic (Q2947458) (← links)
- Temporalization of Probabilistic Propositional Logic (Q3605519) (← links)
- Probabilistic logic over equations and domain restrictions (Q5377701) (← links)