El-Sayed, A. and Ali, A. 2026. Formalizing Interval Dependency: A Logical Framework for Quantifiable Uncertainties. Journal of Computer Engineering. 15, 3 (Mar. 2026).