More on modal logics and deduction

Zalán Gyenis, Zalán Molnár, Övge Öztürk

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…