Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants (Q4608732)

From MaRDI portal
scientific article; zbMATH DE number 6852244
Language Label Description Also known as
English
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
scientific article; zbMATH DE number 6852244

    Statements

    Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants (English)
    0 references
    0 references
    0 references
    22 March 2018
    0 references
    two-variable logic
    0 references
    computational complexity
    0 references
    equivalence relation
    0 references
    finite satisfiability problem
    0 references
    guarded fragment
    0 references
    transitive relation
    0 references

    Identifiers

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