Algebras and relational frames for Gödel modal logic and some of its extensions

DOI10.1007/978-3-031-56595-3_7MaRDI QIDQ6623950FDOQ6623950

Authors: Tommaso Flaminio, Lluís Godo, Paula Menchón, Ricardo Rodriguez 

Publication date: 24 October 2024

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Cites Work

• Modal logic
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Algebraic semantics for modal logics I
• Boolean Algebras with Operators. Part I
• Positive modal logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Varieties of complex algebras
• Handbook of mathematical fuzzy logic. Volume 1
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Constructive logic with strong negation as a substructural logic
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• On some intuitionistic modal logics
• Heyting algebras with operators
• Title not available (Why is that?)
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic with truth values in A linearly ordered heyting algebra
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
• Models for stronger normal intuitionistic modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models for normal intuitionistic modal logics
• Notes on the representation of distributive modal algebras
• A finite model property for Gödel modal logics
• Title not available (Why is that?)
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Distributive lattices with an operator
• Axiomatization of crisp Gödel modal logic
• Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
• A representation theorem for finite Gödel algebras with operators
• Finite IUML-algebras, Finite Forests and Orthopairs

This page was built for publication: Algebras and relational frames for Gödel modal logic and some of its extensions

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