Composition of Pretrained Diffusion Models: A Logic-Based Calculus - Blohm, Peter; Garg, Vikas (International Conference on Learning Representations, 2026)