Guarded Fragment
A fragment of relational first-order logic whose quantifiers are guarded by atomic formulas. Satisfiability is 2EXPTIME-complete.
Fragments of First-Order LogicThe directory29 published entries
Welcome to LogicalZoo
Explore formal logics, their expressive power, and their relationships. A growing reference guide from syntax and semantics to decidability and complexity.