A Sahlqvist theorem for distributive modal logic. - Mai Gehrke; Hideo Nagahashi; Yde Venema (Ann. Pure Appl. Log., 2005)