Modal Interval Analysis

The starting point of MIA is quite simple: It consists in defining a modal interval that attaches a quantifier to a classical interval and in introducing the basic relation of inclusion between modal intervals through the inclusion of the sets of predicates they accept.