Author:Willem Conradie

Keyphrases

algorithmic correspondence, Bull theorem, correspondence theory, finite model property, Heyting algebras, hybrid logic, intuitionistic logic², modal logic, modal mu-calculus², Sahlqvist correspondence, Sahlvist theory.