Author:Alessandra Palmigiano

Keyphrases

algebraic logic, algorithmic correspondence, Categorical methods in logic, coalgebra, correspondence theory, Heyting algebras, intuitionistic logic², modal logic, modal logics, modal mu-calculus², non-classical logics, Proofs and Types, Sahlqvist correspondence, Sahlvist theory, substructural logics.