Sumit Sourabh investigates correspondence and canonicity for non-classical logic. He focuses on the Sahlqvist correspondence theory in particular, which was originally developed for classical modal logic, and provides a systematic translation between classical modal logic and first-order logic.
S. Sourabh: Correspondence and Canonicity in Non-Classical Logic.
Prof. Y. Venema
A. Palmigiano and N. Bezhanishvili