A logic with relative knowledge operators
scientific article; zbMATH DE number 1286169