Dependence logic with a majority quantifier (Q302214)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dependence logic with a majority quantifier
scientific article

    Statements

    Dependence logic with a majority quantifier (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    4 July 2016
    0 references
    dependence logic
    0 references
    dependence atom
    0 references
    team semantics
    0 references
    dependence
    0 references
    complexity theory
    0 references
    expressivity
    0 references
    second-order logic
    0 references
    counting hierarchy
    0 references
    majority
    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