Finite Model Theory of the Triguarded Fragment and Related Logics

Emanuel Kieroński, Sebastian Rudolph

The Triguarded Fragment (TGF) is among the most expressive decidable fragments of first-order logic, subsuming both its two-variable and guarded fragments without equality. We show…