Publication:3012532
From MaRDI portal
zbMath1260.03064MaRDI QIDQ3012532
Publication date: 6 July 2011
03B45: Modal logic (including the logic of norms)
03C40: Interpolation, preservation, definability
03B55: Intermediate logics
Related Items
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, Algorithms for recognizing restricted interpolation over the modal logic S4, Restricted interpolation over modal logic S4