Pretabular varieties of modal algebras

DOI10.1007/BF00370315zbMATH Open0457.03018OpenAlexW2165072880MaRDI QIDQ1150599FDOQ1150599

Authors: W. J. Blok 

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370315

zbMATH Keywords

modal logicsK4-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

• Title not available (Why is that?)
• Algebras Whose Congruence Lattices are Distributive.
• Provability interpretations of modal logic
• Five critical modal systems
• Der Verband der normalen verzweigten Modallogiken
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (25)

• Tabularity and post-completeness in tense logic
• Algebraic semantics for quasi-classical modal logics
• In memory of Willem Johannes Blok 1947-2003
• Willem Blok and modal logic
• Amalgamation and interpolation in normal modal logics
• The structure of lattices of subframe logics
• LC and Its Pretabular Relatives
• Interpolation in infinitely layered extensions of provability logic
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• On pretabular logics in NExtK4. II
• On pretabular logics in NExtK4. I
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• On superintuitionistic logics as fragments of proof logic extensions
• Hereditarily structurally complete modal logics
• On variable separation in modal and superintuitionistic logics
• Finitary unification in locally tabular modal logics characterized
• On pretabular extensions of relevance logic
• Definability theorems in normal extensions of the provability logic
• There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
• How many varieties of cylindric algebras are there
• An analog of Beth's theorem in normal extensions of the modal logic K4
• Continuum of normal extensions of the modal logic of provability with the interpolation property
• Pretabularity and Craig's interpolation property
• A second pretabular classical relevance logic
• The tabularity problem over the minimal logic

This page was built for publication: Pretabular varieties of modal algebras

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