Lattice logic as a fragment of (2-sorted) residuated modal logic

DOI10.1080/11663081.2018.1547515zbMath1444.03057OpenAlexW2902940308MaRDI QIDQ5379322

Chrysafis Hartonas

Publication date: 28 May 2019

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2018.1547515

zbMATH Keywords

modal logicsnon-classical logicsmulti-modal logicsnon-distributive logicsGödel-Tarski translation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Lattices and duality (06D50)

Related Items (4)

Duality results for (co)residuated lattices ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Modal translation of substructural logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A fresh perspective on canonical extensions for bounded lattices.
• Intuitionistic logic and modality via topology
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• The bounded proof property via step algebras and step frames
• Generalized Kripke frames
• A topological representation of lattices
• Modal companions of intermediate propositional logics
• Varieties of lattices
• Concept lattices and conceptual knowledge systems
• A lattice of normal modal logics
• A topological representation theory for lattices
• Stone duality for lattices
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Semantic analysis of orthologic
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Lattice logic properly displayed
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Display logic
• The algebra of topology
• The Gödel-Tarski Translations of Intuitionistic Propositional Formulas
• Discrete duality for lattices with modal operators
• Decidable Fragments of Many-Sorted Logic
• On languages with two variables
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The Modal Multilogic of Geometry
• On the Decision Problem for Two-Variable First-Order Logic
• Order-dual relational semantics for non-distributive propositional logics
• Modal and temporal extensions of non-distributive propositional logics
• Bounded distributive lattice expansions
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Stone duality for lattice expansions
• Free Modal Algebras Revisited: The Step-by-Step Method
• Representation of Lattices with Modal Operators in Two-Sorted Frames
• Fuzzy and rough formal concept analysis: a survey
• The geometry of non-distributive logics
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• On the syntactical construction of systems of modal logic
• Bounded lattice expansions

This page was built for publication: Lattice logic as a fragment of (2-sorted) residuated modal logic