Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA, with Willem Conradie, Alessandra Palmigiano and Sumit Sourabh
An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)
Correspondence Theory for Intuitionistic Łukasiewicz Logic, with Andrew Lewis-Smith