On Interpretations of Normal Modal Logics

We study interpretations of modal logics in one another where the Boolean connectives are interpreted identically and the modal operator diamond is interpreted by an arbitrary formula A(p).

Clearly, such a formula A(p) defines an interpretation of a normal modal logic whenever A(p) is additive (that is, preserves disjunction) and normal (that is, preserves bottom) in the target logic.

In the present paper, we provide a complete description of all additive and normal formulas in five prominent modal logics: K, GL, Grz, S4, and S5.

For K, GL, and S5, we also describe all additive and normal formulas with parameters.