A logic for arguing about probabilities in measure teams
From MaRDI portal
Publication:2402954
DOI10.1007/s00153-017-0535-xzbMath1386.03020arXiv1509.01812OpenAlexW2964183590MaRDI QIDQ2402954
Tapani Hyttinen, Jouko Väänänen, Gianluca Paolini
Publication date: 15 September 2017
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1509.01812
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37) Probabilistic measure theory (60A10)
Related Items (9)
Reduction of database independence to dividing in atomless Boolean algebras ⋮ Category-theoretic structure for independence and conditional independence ⋮ On the Presburger fragment of logics with multiteam semantics ⋮ A finite axiomatization of G-dependence ⋮ Parameterized complexity of propositional inclusion and independence logic ⋮ Approximation and dependence via multiteam semantics ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Diversity, dependence and independence
Cites Work
This page was built for publication: A logic for arguing about probabilities in measure teams