Mathematical logic
Craig interpolation
Lemmas
Interpretation
Match moving
Distribution
Linear temporal logic