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