An abstract look at the fixed-point theorem for provability logic
scientific article; zbMATH DE number 7920706