Algebras and relational frames for Gödel modal logic and some of its extensions
From MaRDI portal
Publication:6623950
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
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)