Details
| Original language | English |
|---|---|
| Pages (from-to) | 297-320 |
| Number of pages | 24 |
| Journal | Annals of Mathematics and Artificial Intelligence |
| Volume | 83 |
| Issue number | 3-4 |
| Early online date | 18 Jan 2018 |
| Publication status | Published - Aug 2018 |
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äänänen.
Keywords
- Computational complexity, Dependence logic, Team semantics
ASJC Scopus subject areas
- Computer Science(all)
- Artificial Intelligence
- Mathematics(all)
- Applied Mathematics
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Annals of Mathematics and Artificial Intelligence, Vol. 83, No. 3-4, 08.2018, p. 297-320.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Approximation and dependence via multiteam semantics
AU - Durand, Arnaud
AU - Hannula, Miika
AU - Kontinen, Juha
AU - Meier, Arne
AU - Virtema, Jonni
N1 - © 2018, Springer International Publishing AG, part of Springer Nature
PY - 2018/8
Y1 - 2018/8
N2 - 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.
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 Väänänen.
KW - Computational complexity
KW - Dependence logic
KW - Team semantics
UR - http://www.scopus.com/inward/record.url?scp=85040768450&partnerID=8YFLogxK
U2 - 10.48550/arXiv.1510.09040
DO - 10.48550/arXiv.1510.09040
M3 - Article
AN - SCOPUS:85040768450
VL - 83
SP - 297
EP - 320
JO - Annals of Mathematics and Artificial Intelligence
JF - Annals of Mathematics and Artificial Intelligence
SN - 1012-2443
IS - 3-4
ER -