Representation of lattices with modal operators in two-sorted frames

Abstract

We study general lattices with normal unary operators for which we prove relational representation and duality results. Similar results have appeared in print, using Urquhart's lattice representation, by the second author with Vakarelov, Radzikowska and Rewitzky. We base our approach in this article on the Hartonas and Dunn lattice duality, proven by Gehrke and Harding to deliver a canonical lattice extension, and on recent results by the first author on the relational representation of normal lattice operators. We verify that the operators at the representation level (appropriately generated by relations) are the canonical extensions of the lattice operators, in Gehrke and Harding's sense. © 2019 - IOS Press and the authors. All rights reserved.