scientific article

zbMath1260.03064MaRDI QIDQ3012532

Larisa L. Maksimova

Publication date: 6 July 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)

Related Items (7)

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ The projective Beth property in well-composed logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Restricted interpolation over modal logic S4

This page was built for publication: