PP-2002-09: Mai Gehrke, Hideo Nagahashi, Yde Venema A Sahlqvist Theorem for Distributive Modal Logic 1.Abstract, 2.Full Text (PDF), 3.Full Text (PS). < Back
