Pages that link to "Item:Q4316722"
From MaRDI portal
The following pages link to Logics with two types of integral operators (Q4316722):
Displaying 6 items.
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- An analytic completeness theorem for logics with probability quantifiers (Q3781086) (← links)
- Finite compactness theorem for biprobability logics (Q3990669) (← links)
- ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS (Q4295234) (← links)
- (Q5365502) (← links)
- Formal Methods in Software and Systems Modeling (Q5710409) (← links)