Явные определения неявно определимых объектов в некоторых модальных логиках

Ранее автором было показано, что в любом нормальном расширении пропозициональной модальной логики $K4$ имеет место некоторый аналог теоремы Бета о неявной определимости. Однако доказательство этой теоремы, данное автором, не давало способа построения явного определения объекта по его неявному описанию. В данной статье найден явный вид определений неявно определимых объектов для модальных логик, характеризуемых транзитивными и антисимметричными шкалами Крипке с ограниченной длиной цепей.
Библиогр. 7.