Deterministic dynamic logic is strictly weaker than dynamic logic
scientific article; zbMATH DE number 3854410