Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh +1

We generalize Venema's result on the canonicity of the additivity of positive terms, from classical modal logic to a vast class of logics the algebraic semantics of which is given…