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(@)