Logi
Realizability
Mathematics
Logic
Abstraction
Linear temporal logic
Temporal logic
Free variables and bound variables