El-Sayed, A.; Ali, A. Formalizing Interval Dependency: A Logical Framework for Quantifiable Uncertainties. J. Comput. Eng. 2026, 15 (3).