MoL-2000-02: Mariana Haim Duality for Lattices with Operators: A Modal Logic Approach 1.Full Text, 2.Abstract. < Back