MoL-2000-02: Haim, Mariana (2000) Duality for Lattices with Operators: A Modal Logic Approach. [Report]