Mean Value Calculus (MVC)[1] is a real-time logicwhich can be used to specify and verify real-time systems[2]. As aconservative extension of Duration Calculus (
In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,b2,..., and bm (m1)", and the other "All