On finite satisfiability of the guarded fragment with equivalence or transitive guards

    LPAR, pp. 318-332, 2007.

    Cited by: 7|Bibtex|Views2|Links
    EI
    Keywords:
    finite satisfiability problemfinitely satisfiable formulaguarded fragmentfinite modeltransitive guardMore(9+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments