On strong provability predicates and the associated modal logics
joint provability logic for iterated \(\omega\)-provability
scientific article; zbMATH DE number 238219