Strong completeness and limited canonicity for PDL
scientific article; zbMATH DE number 5532538