Topology and duality in modal logic. - Giovanni Sambin; Virginia Vaccaro (Ann. Pure Appl. Log., 1988)

A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness. - Giovanni Sambin; Virginia Vaccaro (J. Symb. Log., 1989)