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

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Article number	103108
Journal	Annals of Pure and Applied Logic
Volume	173
Issue number	10
Number of pages	30
ISSN	0168-0072
DOIs	https://doi.org/10.1016/j.apal.2022.103108
Publication status	Published - Dec 2022
MoE publication type	A1 Journal article-refereed
Event	Workshop on Logics of Dependence and Independence (LoDE) - Duration: 10 Aug 2020 → 12 Oct 2020

Fields of Science

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

Access to Document

10.1016/j.apal.2022.103108Licence: CC BY

1-s2.0-S0168007222000239-mainFinal published version, 697 KBLicence: CC BY

Cite this

@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 Scientific Publ. Co",

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 -