On Syntactical Simplification of Temporal Operators in Negation-free MTL

Mathijs van Noort, Femke Ongenae, Pieter Bonte

Temporal reasoning in dynamic, data-intensive environments increasingly demands expressive yet tractable logical frameworks. Traditional approaches often rely on negation to expres…