Representation of lattices with modal operators in two-sorted frames

DOI10.3233/FI-2019-1793MaRDI QIDQ5379876zbMATH OpenWikidataFDO

Authors Chrysafis Hartonas, Ewa Orłowska

Publication date 14 June 2019

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2019-1793

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Representation theory of lattices (06B15) Lattices and duality (06D50)

Recommendations

• Notes on the representation of distributive modal algebras
• Representation theorems for lattice-ordered modal algebras and their axiomatic extensions
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Relational Methods in Computer Science
• Relational Representation Theorems for General Lattices with Negations

Cited in

(11)

• A discrete representation of lattice frames
• Duality for normal lattice expansions and sorted residuated frames with relations
• Notes on the representation of distributive modal algebras
• Modal translation of substructural logics
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Quantum monadic algebras
• Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
• Relational Methods in Computer Science
• Positive modal logic beyond distributivity
• Choice-free topological duality for implicative lattices and Heyting algebras
• Choice-free dualities for lattice expansions: application to logics with a negation operator

This page was built for publication: Representation of lattices with modal operators in two-sorted frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5379876)