{"id":"arxiv/2603.17724","url":"https://arxiv.org/abs/2603.17724","tags":["math.LO"],"score":0,"title":"More on modal logics and deduction","domain":"math.LO","source":"arxiv","authors":["Zalán Gyenis","Zalán Molnár","Övge Öztürk"],"reviews":0,"subject":"math.LO","summary":"We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that deduction properties of modal logic persist far beyond the additive setting. We introduce the notion of a strongly non-additive variety, and then we prove that there are continuum many strongly non-additive minimal discriminator varieties of Boolean frames; equivalently, continuum many strongly non-additive maximal congruential modal logics with…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-18","reactions":{}}