Approximation and Dependence via Multiteam Semantics
Durand, Arnaud · Hannula, Miika · Kontinen, Juha · Meier, Arne · Virtema, Jonni
Original · EN
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äänänen.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.