Semi-analytic galaxy formation in f(R)-gravity cosmologies