Emergent Mind

Approximation and Dependence via Multiteam Semantics

(1510.09040)

Published Oct 30, 2015 in cs.LO and math.LO

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.

We're not able to analyze this paper right now due to high demand.

Please check back later (sorry!).

Generate a summary of this paper on our Pro plan:

We ran into a problem analyzing this paper.