scientific article; zbMATH DE number 3561300
From MaRDI portal
Publication:4133939
zbMath0361.02030MaRDI QIDQ4133939
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Interpolation properties of superintuitionistic logics ⋮ Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras ⋮ Interpolation theorems in modal logics. Sufficient conditions ⋮ Amalgamation and interpolation in normal modal logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Uniform Lyndon interpolation property in propositional modal logics