Approximation and Dependence via Multiteam Semantics
Logic in Computer Science
2015-12-22 v2 Logic
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.
Cite
@article{arxiv.1510.09040,
title = {Approximation and Dependence via Multiteam Semantics},
author = {Arnaud Durand and Miika Hannula and Juha Kontinen and Arne Meier and Jonni Virtema},
journal= {arXiv preprint arXiv:1510.09040},
year = {2015}
}
Comments
Accepted paper for FoIKS conference, long version