Abstract
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.
Keywords
Get full access to this article
View all access options for this article.