Approximation and Dependence via Multiteam Semantics
classification
💻 cs.LO
math.LO
keywords
semanticsapproximationatomsdefinedependencemultiteamanenapproximate
read the original abstract
We define a variant of team semantics called multiteam semantics based on multisets and study the properties of various logics in this framework. In particular, we define natural probabilistic versions of inclusion and independence atoms and certain approximation operators motivated by approximate dependence atoms of V\"a\"an\"anen.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.