 The definition of \(\mathrm{ST}_\mathtt{b}\) is obtained by exchanging \(\mathtt{a}\) and \(\mathtt{b}\). The translation is an extension of the well-known standard translation from modal logic into first-order logic. As an example, we demonstrate step by step how the hybrid-logical formula \(\mathtt{{\downarrow} c\Box \neg c}\) is translated into a first-order formula: