Counting in the two variable guarded logic with transitivity
STACS, pp. 83-96, 2005.
guarded fragmentdescription logicthree-variable fragmenttransitive guardexpressive modalMore(6+)
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
Full Text (Upload PDF)
PPT (Upload PPT)