Strong standard completeness theorems for S5-modal Łukasiewicz logics
scientific article; zbMATH DE number 7962817