Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

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

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

Авторов:
596 024

расширенный поиск

Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

Башмаков, Степан Игоревич

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

Дата публикации в реестре: 2020-06-02T16:56:47Z

Аннотация:

Ключевые слова:
temporal modal logic, non-transitive Kripke frame, unification, ground unifier, projective formulas, 27.03.19

Тип: Journal Article

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