Representation Theorems for Lattice-ordered Modal Algebras and their Axiomatic Extensions
Anna Maria Radzikowska · Fundamenta Informaticae · 2016
In this paper we present relational representation theorems for lattice-based modal algebras and their axiomatic extensions taking into account well-known schemas of modal logics. The underlying algebraic structures are bounded, not necessarily distributive lattices. Our approach is based on the Urquhart’s result for non-distributive lattices and Allwein and Dunn developments for algebras of liner logics.