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