Hierarchical Modeling and Specification Logic of Agents Knowledge in Continuous Dynamics. Int. J. Appl. Sci. Tech. 2020, 6 (1).