{"id":"arxiv/2606.31871","url":"https://arxiv.org/abs/2606.31871","tags":["math.LO"],"score":0,"title":"On Interpretations of Normal Modal Logics","domain":"math.LO","source":"arxiv","authors":["Lev V. Dvorkin"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-30","reactions":{}}