 working mainly on many-sorted formulas \(\varphi\) obtained by translations of modal formulas. As we wanted a second-order appearance, Extensionality Axiom is added to \(\Delta _{K}\). As a result, we obtain a Representation Theorem for the minimal modal logic, K: