The lattice of modal logics: an algebraic investigation
From MaRDI portal
Publication:3875896
DOI10.2307/2273184zbMATH Open0436.03010OpenAlexW1983453585MaRDI QIDQ3875896FDOQ3875896
Publication date: 1980
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273184
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Lattices of varieties (08B15)
Cites Work
Cited In (43)
- In memory of Willem Johannes Blok 1947-2003
- Willem Blok and modal logic
- Kripke incomplete logics containing KTB
- On varieties of cylindric algebras with applications to logic
- CANONICAL FORMULAS FOR wK4
- Ideal Related Algebras and Their Logics Extended Abstract
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- The structure of lattices of subframe logics
- Some Computational Constraints in Epistemic Logic
- Erdős Graphs Resolve Fine's Canonicity Problem
- Involutions defined by monadic terms
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
- On the canonicity of Sahlqvist identities
- Bounded lattice expansions
- Matching topological and frame products of modal logics
- A splitting logic in NExt(KTB)
- Topological soft algebra and its application
- Interpolation in weakly transitive modal logics
- Total tense algebras and symmetric semiassociative relation algebras
- An axiomatization of the modal theory of the veiled recession frame
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism
- An almost general splitting theorem for modal logic
- THE LATTICE OF SUPER-BELNAP LOGICS
- Mathematical modal logic: A view of its evolution
- Algebraization of quantifier logics, an introductory overview
- On the structure of varieties with equationally definable principal congruences. I
- Deduction theorem in congruential modal logics
- Post complete and 0-axiomatizable modal logics
- What is the upper part of the lattice of bimodal logics?
- Canonicity in power and modal logics of finite achronal width
- Bjarni Jónsson's contributions in algebra
- Some descending chains of incomplete modal logics
- How many varieties of cylindric algebras are there
- Varieties of complex algebras
- Varieties with equationally definable principal congruences
- Title not available (Why is that?)
- The lattice of varieties of modal algebras is not strongly atomic
- An effective representation for finitely generated free interior algebras
- Varieties of semiassociative relation algebras and tense algebras
- Tense logics over lattices
- Universal algebraic methods for non-classical logics
- Algebraic aspects of deduction theorems
This page was built for publication: The lattice of modal logics: an algebraic investigation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3875896)