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.