Representation of Lattices with Modal Operators in Two-Sorted Frames

Chrysafis Hartonas, Ewa Orlowska. Representation of Lattices with Modal Operators in Two-Sorted Frames. Fundamenta Informaticae, 166(1):29-56, 2019. [doi]

Abstract

Abstract is missing.