The fixed point property in modal logic
provability predicates of Peano Arithmetic
scientific article; zbMATH DE number 1990929