KnowraFirst-order logicLinked fromLinked fromThe 75 pages that link to First-order logic, each with the reason it gives.All 75Broader topic 9Related 23Narrower topic 37Compared with 6Propositional logicCompared with: It extends propositional reasoning with quantification and relations among objects.Aristotelian logicCompared with: It generalizes categorical reasoning with explicit quantification and relations of arbitrary complexity.Modal logicCompared with: It adds quantification rather than modal operators, though modal predicate logics combine both.Second-order logicCompared with: It provides the baseline that second-order quantifiers extend.Higher-order logicCompared with: It provides the baseline that higher-order quantifiers extend.Courcelle's theoremCompared with: It is weaker than the monadic second-order language used to express the theorem's properties.