Representation Theorems for Lattice-ordered Modal Algebras and their Axiomatic Extensions

摘要

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.