Logic of time by Benthem