Журнал СФУ. Математика и физика / Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью

Полный текст (.pdf)
Номер
Журнал СФУ. Математика и физика. 2018 11 (1)
Авторы
Башмаков, Степан И.
Контактная информация
Башмаков, Степан И.: Институт математики и фундаментальной информатики Сибирский федеральный университет Свободный, 79, Красноярск, 660041 Россия
Ключевые слова
temporal modal logic; non-transitive Kripke frame; unification; ground unifier; projective formulas; временная модальная логика; нетранзитивный фрейм Крипке; унификация; граунд–унификатор; проективные формулы
Аннотация

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

Страницы
3–9
Статья в архиве электронных ресурсов СФУ
https://elib.sfu-kras.ru/handle/2311/68378