Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q2922020)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures
scientific article

    Statements

    Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures (English)
    0 references
    0 references
    0 references
    0 references
    14 October 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    expressivity
    0 references
    succinctness
    0 references
    first-order logic
    0 references
    monadic second-order logic
    0 references
    order-invariance
    0 references
    tree-depth
    0 references
    0 references