 The local modal logic \(\blK\) and the corresponding global one \(\bgK\) are not only different, but their metalogical properties differ. For example, \(\blK\) has the deduction-detachment property for \(\rightarrow\):