The lattice of modal logics: an algebraic investigation

DOI10.2307/2273184zbMATH Open0436.03010OpenAlexW1983453585MaRDI QIDQ3875896FDOQ3875896

W. J. Blok

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

zbMATH Keywords

modal logicKripke semanticssubdirectly irreduciblemodal operatorvarieties of modal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Lattices of varieties (08B15)

Cites Work

• Algebraic semantics for modal logics I
• Algebras Whose Congruence Lattices are Distributive.
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Some embedding theorems for modal logic

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)