Decidability of Mean Value Calculus

Mean Value Calculus ( MVC) is a real-time logic which can be used to specify and verify real-time systems . As a conservative extension of Duration Calculus (DC) , MVC increases the expressive power but keeps the properties of DC . ln this paper we present decidability results of MVC . An interesting result is that propositional MVC with chop star operator is still decidable, which develops the results or and .