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. We show that the logic enjoys the finite model property when only one transitive rel…