Counting in the two variable guarded logic with transitivity

    STACS, pp. 83-96, 2005.

    Cited by: 4|Bibtex|Views0|Links
    EI
    Keywords:
    guarded fragmentdescription logicthree-variable fragmenttransitive guardexpressive modalMore(6+)

    Abstract:

    We show that the extension of the two-variable guarded fragment with transitive guards (GF+TG) by functionality statements is undecidable. This gives immediately undecidability of the extension of GF+TG by counting quantifiers. The result is optimal, since both the three-variable fragment of the guarded fragment with counting quantifiers ...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments