Дата публикации: 2020

Дата публикации в реестре: 2020-10-08T09:35:14Z

Аннотация:

Текст работы публикуется с изъятиями.

Цель работы – исследование унификации в одной нетранзитивной временной логике знания с универсальной модальностью. В результате исследования выполнено семантическое построения линейной многомодальной логики знания и нетранзитивного времени с универсальной модальностью ULITK, доказаны финитная аппроксимируемость и p-морфность конечных фреймов бесконечным, установлена проективность унификации и её тип, получен вид проективного унификатора для любой унифицируемой формулы в логике ULITK.

Тип: Thesis