О МОДАЛЬНОЙ ЛОГИКЕ ИНТЕРВАЛОВ С ОТНОШЕНИЕМ 'ПОЗЖЕ'

摘要

Статья посвящена изучению логики интервалов вещественной прямой с модальностью, соответствующей отношению "следовать после". Поскольку логика обладает конечной аксиоматикой, из приведенного доказательства финитной аппроксимируемости следует ее разрешимость. Также приводится описание класса конечных шкал с корнем, соответствующих этой логике.