Аналитико-табличная формализация временных логик с нестандартным отношением прошлого и будущеготезисы доклада