Elementary canonical formulae: extending Sahlqvist s theorem

Valentin Goranko, Dimiter Vakarelov. Elementary canonical formulae: extending Sahlqvist s theorem. Annals of Pure and Applied Logic, 141(1-2):180-217, 2006. [doi]

Abstract

Abstract is missing.