Pretabular varieties of modal algebras
From MaRDI portal
Publication:1150599
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
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Lattices of varieties (08B15)
Cites Work
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)