Библиографическое описание:Bashmakov, Stepan. Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality = Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью / S. I. Bashmakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2018. - Т. 11, № 1. - С. 3-9. - Библиогр.: с. 9. - ISSN jsff.
Аннотация:Исследуется вопрос унификации в линейной модальной логике нетранзитивного времени с универсальной модальностью. Предлагается семантическое построение логики на линейных нетранзитивных фреймах Крипке, эффективная определимость и проективность унифицируемых формул. Найден алгоритм построения наиболее общего унификатора.
