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

From MaRDI portal
scientific article; zbMATH DE number 7587328
Language Label Description Also known as
English
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
scientific article; zbMATH DE number 7587328

    Statements

    Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (English)
    0 references
    0 references
    0 references
    16 September 2022
    0 references
    dependence logic
    0 references
    team semantics
    0 references
    metafinite structures
    0 references
    Blum-Shub-Smale machine
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references