Predicate logic
Logical syntax
Metalogic
First-order logic
Modal logic
Entailment
Saul Kripke
Well-formed formula
Formal semantics
Logic
Mathematical logic
Philosophical logic