scientific article
From MaRDI portal
Publication:3875897
zbMath0436.03011MaRDI QIDQ3875897
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lattices of varieties (08B15) Modal logic (including the logic of norms) (03B45) Boolean algebras (Boolean rings) (06E99)
Related Items (26)
Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic ⋮ An algebraic theory of normal forms ⋮ Modularity results for interpolation, amalgamation and superamalgamation ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ Interpolation properties in the extensions of the logic of inequality ⋮ Simple weakly transitive modal algebras ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Weak interpolation in extensions of the logics S4 and K4 ⋮ Interpolation theorems in modal logics. Sufficient conditions ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ Definability theorems in normal extensions of the provability logic ⋮ On interpolation in NEXT(KB.Alt(2)) ⋮ Amalgamation and interpolation in normal modal logics ⋮ Modal companions of intermediate propositional logics ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Interpolation in weakly transitive modal logics ⋮ Interpolation in infinitely layered extensions of provability logic ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Undecidable properties of extensions of the logic of provability ⋮ Varieties of logical matrices ⋮ Sequent calculi for global modal consequence relations ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Combination of uniform interpolants via Beth definability ⋮ Logical matrices and the amalgamation property ⋮ Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
This page was built for publication:
