Uniform Lyndon interpolation for basic non-normal modal logics
scientific article; zbMATH DE number 7547747
scientific article