On elementary logics for quantitative dependencies

Miika Hannula; Minna Hirvonen; Juha Kontinen

doi:10.1016/j.apal.2022.103104

On elementary logics for quantitative dependencies

Miika Hannula, Minna Hirvonen, Juha Kontinen

Avdelningen för matematik och statistik

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	engelska
Artikelnummer	103104
Tidskrift	Annals of Pure and Applied Logic
Volym	173
Nummer	10
Antal sidor	21
ISSN	0168-0072
DOI	https://doi.org/10.1016/j.apal.2022.103104
Status	Publicerad - dec. 2022
MoE-publikationstyp	A1 Tidskriftsartikel-refererad
Evenemang	Workshop on Logics of Dependence and Independence (LoDE) - Varaktighet: 10 aug. 2020 → 12 okt. 2020

Vetenskapsgrenar

111 Matematik

Åtkomst av dokument

10.1016/j.apal.2022.103104Licens: CC BY

1-s2.0-S0168007222000197-mainSlutlig publicerad version, 494 KBLicens: CC BY

Citera det här

@article{b7f3ab3ca6044a0c83c8b53b0a8cfb44,

title = "On elementary logics for quantitative dependencies",

keywords = "Probabilistic team semantics, Dependence logic, Conditional independence, Metafinite structures, INCLUSION, 111 Mathematics",

author = "Miika Hannula and Minna Hirvonen and Juha Kontinen",

year = "2022",

month = dec,

doi = "10.1016/j.apal.2022.103104",

language = "English",

volume = "173",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "10",

note = "Workshop on Logics of Dependence and Independence (LoDE) ; Conference date: 10-08-2020 Through 12-10-2020",

}

TY - JOUR

T1 - On elementary logics for quantitative dependencies

AU - Hannula, Miika

AU - Hirvonen, Minna

AU - Kontinen, Juha

PY - 2022/12

Y1 - 2022/12

KW - Probabilistic team semantics

KW - Dependence logic

KW - Conditional independence

KW - Metafinite structures

KW - INCLUSION

KW - 111 Mathematics

U2 - 10.1016/j.apal.2022.103104

DO - 10.1016/j.apal.2022.103104

M3 - Article

SN - 0168-0072

VL - 173

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 10

M1 - 103104

T2 - Workshop on Logics of Dependence and Independence (LoDE)

Y2 - 10 August 2020 through 12 October 2020

ER -