TY - T1 - Approximation and dependence via multiteam semantics SN - / UR - http://hdl.handle.net/10138/239804 T3 - A1 - Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni A2 - PB - Y1 - 2018 LA - eng AB - 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 Vaananen.... VO - IS - SP - OP - KW - 111 Mathematics; Dependence logic; Team semantics; Computational complexity; CONDITIONAL-INDEPENDENCE; IMPERFECT INFORMATION; TEAM SEMANTICS; LOGIC; COMPLEXITY; INCLUSION; FINITE N1 - PP - ER -