The Fluted Fragment with Transitive Relations

    Cited by: 0|Bibtex|Views0|Links

    Abstract:

    We study the satisfiability problem for the fluted fragment extended with transitive relations. The logic enjoys the finite model property when only one transitive relation is available and the finite model property is lost when additionally either equality or a second transitive relation is allowed. We show that the satisfiability prob...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments