Unified inverse correspondence for DLE-Logics

Willem Conradie, Andrea De Domenico, Giuseppe Greco +3

By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist correspondence, the theory of unified correspondence provides powerful tools for correspondence and cano…