Pretabular varieties of modal algebras
From MaRDI portal
Publication:1150599
DOI10.1007/BF00370315zbMath0457.03018MaRDI QIDQ1150599
Publication date: 1980
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370315
08B15: Lattices of varieties
03B45: Modal logic (including the logic of norms)
03G25: Other algebras related to logic
Related Items
Hereditarily structurally complete modal logics, Algebraic semantics for quasi-classical modal logics, How many varieties of cylindric algebras are there, 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, On pretabular logics in NExtK4. I, The tabularity problem over the minimal logic, Interpolation in infinitely layered extensions of provability logic, Definability theorems in normal extensions of the provability logic, Continuum of normal extensions of the modal logic of provability with the interpolation property, On superintuitionistic logics as fragments of proof logic extensions, On the lattice of extensions of the modal logics \(KAlt_ n\), Amalgamation and interpolation in normal modal logics, Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation, The structure of lattices of subframe logics, A second pretabular classical relevance logic, On variable separation in modal and superintuitionistic logics, On pretabular logics in NExtK4. II, An analog of Beth's theorem in normal extensions of the modal logic K4, In memory of Willem Johannes Blok 1947-2003, Willem Blok and modal logic, Finitary unification in locally tabular modal logics characterized, LC and Its Pretabular Relatives
Cites Work