2000 character limit reached
Approximation and Dependence via Multiteam Semantics
Published 30 Oct 2015 in cs.LO and math.LO | (1510.09040v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.