We introduce an indexed dynamic logic, give logical characterization of the concepts of practice and degree of action and negation by action by it and its variations.

In cases of this kind, when we are determining the degree of blame or applause which seems due to any action, we very frequently make use of two different standards.

High degree of mechanization of Pavement process contains operating procedures, consistent action, can accurately grasp by calculating the time and quality control.