- Номер
- Журнал СФУ. Математика и физика. 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
Журнал СФУ. Математика и физика / Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью
Полный текст (.pdf)