The Fluted Fragment with Transitivity

    MFCS, pp. 152019.

    Cited by: 0|Bibtex|Views0|Links
    EI

    Abstract:

    We study the satisfiability problem for the fluted fragment extended with transitive relations. We show that the logic enjoys the finite model property when only one transitive relation is available. On the other hand we show that the satisfiability problem is undecidable already for the two-variable fragment of the logic in the presenc...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments