Mathematics
Model theory
Semantics
First-order logic
Linear temporal logic
Function
Atomic formula
Quantification
Predicate
Logic
Mathematical logic
Predicate logic