Interpretation; Modal logic; Polyadic operators

We define an interpretation of modal languages with polyadic operators in modal languages that use monadic operators (diamonds) only. We also define a simulation operator which associates a logic $Λ^sim$ in the diamond language with each logic A in …