Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью

Дата публикации: 2018-02

Дата публикации в реестре: 2020-03-31T23:46:56Z

Аннотация:

Исследуется вопрос унификации в линейной модальной логике нетранзитивного времени с универсальной модальностью. Предлагается семантическое построение логики на линейных нетранзитивных фреймах Крипке, эффективная определимость и проективность унифицируемых формул. Найден алгоритм построения наиболее общего унификатора

Тип: Journal Article


Связанные документы (рекомендация CORE)