Substructural logics with a reflexive transitive closure modality
scientific article; zbMATH DE number 6820481