Аннотация: Предметом исследования является проблема остановки вывода в модальных логиках, в частности логиках времени. Для рассмотрения выбрана логика времени с линейным транзитивным и плотным временным потоком. Одним из подходов в решении рассматриваемой проблемы является применение метода мозаик, суть которого заключается в нахождении конечного множества фрагментов, которое может быть достроено до бесконечной модели, для доказательства формулы. На основании метода мозаик возможно построение различных исчислений, например, R-I-Г-исчисления, которое сочетает в себе метод мозаик, процедуру loop-cheak и интуитивную ясность табличного исчисления. В исследовании применяется формализация в вопросе описания временного потока, а также дедуктивный метод для построения исчисления. Новизна работы заключается в представлении оригинального подхода к решению проблемы остановки вывода в логиках времени. Основываясь на идее метода мозаик, предложено исчисление R-I-Г-конструкций, которое в силу своих правил гарантировано строит конечный вывод. Дополнив систематическую процедуру правилами насыщения, можно попытаться получить насыщенное множество мозаик, которое является доказательством выполнимости формулы.