On finite satisfiability of the guarded fragment with equivalence or transitive guards
LPAR, pp. 318-332, 2007.
finite satisfiability problemfinitely satisfiable formulaguarded fragmentfinite modeltransitive guardMore(9+)
The guarded fragment of first-order logic, GF, enjoys the finite model property, so the satisfiability and the finite satisfiability problems coincide. We are concerned with two extensions of the two-variable guarded fragment that do not possess the finite model property, namely, GF2 with equivalence and GF2 with transitive guards. We pro...More
Full Text (Upload PDF)
PPT (Upload PPT)