algebraic logic, algorithmic correspondence, Categorical methods in logic, coalgebra, correspondence theory, Heyting algebras, intuitionistic logic^{2}, modal logic, modal logics, modal mu-calculus^{2}, non-classical logics, Proofs and Types, Sahlqvist correspondence, Sahlvist theory, substructural logics.