Pages that link to "Item:Q2402954"

The following pages link to A logic for arguing about probabilities in measure teams (Q2402954):

Displaying 11 items.

• Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
• A finite axiomatization of G-dependence (Q1689285) (← links)
• Approximation and dependence via multiteam semantics (Q1783737) (← links)
• Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
• On the Presburger fragment of logics with multiteam semantics (Q2172824) (← links)
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
• Diversity, dependence and independence (Q5918485) (← links)
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
• Logics with probabilistic team semantics and the Boolean negation (Q6545573) (← links)
• Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence (Q6630197) (← links)
• Multiteam semantics for interventionist counterfactuals: probabilities and causation (Q6655115) (← links)