A Sahlqvist theorem for distributive modal logic

Mai Gehrke, Hideo Nagahashi, Yde Venema. A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic, 131(1-3):65-102, 2005. [doi]

Abstract

Abstract is missing.