184 citations · 617 across the 22 of their papers we have counts for
1 paper · 1 filter
Ian Pratt-Hartmann, Lidia Tendera
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 avai…