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 entriesClassical Propositional Logic
The logic of truth-functional combinations of propositions, forming a foundation for classical inference and the SAT problem.
Classical Logics