The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
scientific article; zbMATH DE number 2085477