Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: Finite Model Theory of the Triguarded Fragment and Related Logics
(Submitted on 21 Jan 2021 (v1), last revised 23 Jan 2021 (this version, v2))
Abstract: 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 that the TGF has the finite model property (providing a tight doubly exponential bound on the model size) and hence finite satisfiability coincides with satisfiability known to be N2ExpTime-complete. Using similar constructions, we also establish 2ExpTime-completeness for finite satisfiability of the constant-free (tri)guarded fragment with transitive guards.
Submission history
From: Sebastian Rudolph [view email][v1] Thu, 21 Jan 2021 00:47:50 GMT (2383kb,D)
[v2] Sat, 23 Jan 2021 08:56:14 GMT (2329kb,D)
Link back to: arXiv, form interface, contact.