Algebraic Canonicity in Non-Classical Logics
Zhiguang Zhao

Abstract:
This thesis is a study of the notion of canonicity (as is understood
e.g. in modal logic) from an algebraic viewpoint. The main conceptual
contribution of this thesis is a better understanding of the
connection between the Jónsson-style canonicity proof and the
canonicity-via-correspondence. The main results of this thesis include
an ALBA-aided Jónsson-style canonicity proof for inductive
inequalities in distributive modal logic and a Jónsson-style
canonicity proof for a certain fragment of the distributive modal
μ-calculus.