  The proof of completeness with respect to strong models bears a close similarity to the proof of completeness using canonical models for  the modal logic \(\mathsf{K}\).  In turn, strong models can be used to give a semantic proof of the  Realization Theorem (cf. Section 4).