Provability logic without Craig's interpolation property
scientific article; zbMATH DE number 4127175