Author:Yves Fomatati

Keyphrases

algorithmic correspondence, correspondence theory, Heyting algebras, intuitionistic logic², modal logic, modal mu-calculus², Sahlqvist correspondence, Sahlvist theory.