Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Miika Hannula; Jonni Virtema

doi:10.1016/j.apal.2022.103108

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	engelska
Artikelnummer	103108
Tidskrift	Annals of Pure and Applied Logic
Volym	173
Nummer	10
Antal sidor	30
ISSN	0168-0072
DOI	https://doi.org/10.1016/j.apal.2022.103108
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.103108Licens: CC BY

1-s2.0-S0168007222000239-mainSlutlig publicerad version, 697 KBLicens: CC BY

Citera det här

@article{b166f0fc4daa4cd6842c8c926e8775b3,

title = "Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals",

keywords = "Dependence logic, Team semantics, Metafinite structures, Blum-Shub-Smale machine, COMPLEXITY CLASSES, DEPENDENCIES, INCLUSION, 111 Mathematics",

author = "Miika Hannula and Jonni Virtema",

year = "2022",

month = dec,

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

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 - Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

AU - Hannula, Miika

AU - Virtema, Jonni

PY - 2022/12

Y1 - 2022/12

KW - Dependence logic

KW - Team semantics

KW - Metafinite structures

KW - Blum-Shub-Smale machine

KW - COMPLEXITY CLASSES

KW - DEPENDENCIES

KW - INCLUSION

KW - 111 Mathematics

U2 - 10.1016/j.apal.2022.103108

DO - 10.1016/j.apal.2022.103108

M3 - Article

SN - 0168-0072

VL - 173

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 10

M1 - 103108

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

Y2 - 10 August 2020 through 12 October 2020

ER -