Mathematics
Temporal logic
Computation tree logic
Logic in computer science
Distribution
Model theory
Linear temporal logic
Indescribable cardinal