О линейной логике знания и времени с интранзитивным отношением времени

В [1] введена линейная полимодальная логика знания и времени с интранзитивным отношением времени как множество формул, общезначимых в фреймах специального вида. В [2] введено исчисление $AS_{LTK_r}$, связанное с классом таких фреймов. В данной работе найдена формула линейной логики знания и времени с интранзитивным отношением времени, которая не выводится в исчислении $AS_{LTK_r}$.