Fair computational tree logic is conventional computational tree logic studied with explicit fairness constraints.