Аннотация:Исследована задача построения некоторого представления всевозможных доопределений троичной конечной трассы событий, удовлетворяющих заданной формуле логики линейного времени на конечных трассах. Для варианта постановки задачи, предложенного в работе, разработан алгоритм с обоснованием корректности и оценкой сложности, показана высокая сложность задачи в целом и существенно более низкая сложность для некоторого фрагмента логики.