First-Order Logic
Classical predicate logic with quantification over individuals, relational structures, and Tarskian semantics.
Classical LogicsThe 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.
Find a logic
Search results
2 entriesTwo-Variable First-Order Logic
The two-variable fragment of relational first-order logic, allowing only two reusable variable symbols. Satisfiability is NEXPTIME-complete.
Fragments of First-Order Logic