Approximation and dependence via multiteam semantics

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalAnnals of Mathematics and Artificial Intelligence
Volume83
Issue number3-4
Pages (from-to)297-320
Number of pages24
ISSN1012-2443
DOIs
Publication statusPublished - Aug 2018
MoE publication typeA1 Journal article-refereed

Bibliographical note

A journal version of the FoIKS 2016 conference publication.

Fields of Science

  • 111 Mathematics
  • Dependence logic
  • Team semantics
  • Computational complexity
  • CONDITIONAL-INDEPENDENCE
  • IMPERFECT INFORMATION
  • TEAM SEMANTICS
  • LOGIC
  • COMPLEXITY
  • INCLUSION
  • FINITE

Cite this

Durand, Arnaud ; Hannula, Miika ; Kontinen, Juha ; Meier, Arne ; Virtema, Jonni. / Approximation and dependence via multiteam semantics. In: Annals of Mathematics and Artificial Intelligence. 2018 ; Vol. 83, No. 3-4. pp. 297-320.
@article{fed7342cd6654857a43c95b070760e71,
title = "Approximation and dependence via multiteam semantics",
keywords = "111 Mathematics, Dependence logic, Team semantics, Computational complexity, CONDITIONAL-INDEPENDENCE, IMPERFECT INFORMATION, TEAM SEMANTICS, LOGIC, COMPLEXITY, INCLUSION, FINITE",
author = "Arnaud Durand and Miika Hannula and Juha Kontinen and Arne Meier and Jonni Virtema",
note = "A journal version of the FoIKS 2016 conference publication.",
year = "2018",
month = "8",
doi = "10.1007/s10472-017-9568-4",
language = "English",
volume = "83",
pages = "297--320",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer Netherlands",
number = "3-4",

}

Approximation and dependence via multiteam semantics. / Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni.

In: Annals of Mathematics and Artificial Intelligence, Vol. 83, No. 3-4, 08.2018, p. 297-320.

Research output: Contribution to journalArticleScientificpeer-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 - A journal version of the FoIKS 2016 conference publication.

PY - 2018/8

Y1 - 2018/8

KW - 111 Mathematics

KW - Dependence logic

KW - Team semantics

KW - Computational complexity

KW - CONDITIONAL-INDEPENDENCE

KW - IMPERFECT INFORMATION

KW - TEAM SEMANTICS

KW - LOGIC

KW - COMPLEXITY

KW - INCLUSION

KW - FINITE

U2 - 10.1007/s10472-017-9568-4

DO - 10.1007/s10472-017-9568-4

M3 - Article

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 -