The decision problem of provability logic with only one atom
scientific article; zbMATH DE number 2051460