Grid supportive (GS) modes integrated within distributed energy resources (DERs) can improve the frequency response. However, synthesis of GS modes for guaranteed performance is challenging. Moreover, a tool is needed to handle sophisticated specifications from grid codes and protection relays. This paper proposes a model predictive control (MPC)-based mode synthesis methodology, which can accommodate the temporal logic specifications (TLSs). The TLSs allow richer descriptions of control specifications addressing both magnitude and time at the same time. The proposed controller will compute a series of Boolean control signals to synthesize the GS mode of DERs by solving the MPC problem under the normal condition, where the frequency response predicted by a reduced-order model satisfies the defined specifications. Once a sizable disturbance is detected, the pre-calculated signals are applied to the DERs. The proposed synthesis methodology is verified on the full nonlinear model in Simulink. A robust factor is imposed on the specifications to compensate the response mismatch between the reduce-order model and nonlinear model so that the nonlinear response satisfies the required TLS.