5 citations · 8 across the 5 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…