Existential second-order logic and modal logic with quantified accessibility relations (Q259071)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Existential second-order logic and modal logic with quantified accessibility relations
scientific article

    Statements

    Existential second-order logic and modal logic with quantified accessibility relations (English)
    0 references
    0 references
    0 references
    10 March 2016
    0 references
    existential second-order logic
    0 references
    modal logic
    0 references
    finite model theory
    0 references

    Identifiers

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