Вы здесь

Интерполяционные свойства в слабо тразитивных модальных логиках