algebraic logic, Categorical methods in logic, coalgebra, modal logics, non-classical logics, Proofs and Types, substructural logics.
