Temporal logic
Linear temporal logic
Computation tree logic
Operator
Cone
Mathematics
Mathematical logic
Philosophy of science