Показать сокращенную информацию

Bashmakov, Stepan I.en
Башмаков, Степан И.ru_RU
2017-12-11T03:42:52Z
2017-12-11T03:42:52Z
2018-02
https://elib.sfu-kras.ru/handle/2311/68378
We investigate the question of unification in the linear modal logic on non-transitive time with the universal modality. The semantic construction of logic on linear non-transitive Kripke frames is proposed, effective definability and projectivity of the unifiable formulas are proved. An algorithm for construction the most general unifier is founden
Исследуется вопрос унификации в линейной модальной логике нетранзитивного времени с универсальной модальностью. Предлагается семантическое построение логики на линейных нетранзитивных фреймах Крипке, эффективная определимость и проективность унифицируемых формул. Найден алгоритм построения наиболее общего унификатораru_RU
enen
Сибирский федеральный университет. Siberian Federal Universityen
temporal modal logicen
non-transitive Kripke frameen
unificationen
ground unifieren
projective formulasen
временная модальная логикаru_RU
нетранзитивный фрейм Крипкеru_RU
унификацияru_RU
граунд–унификаторru_RU
проективные формулыru_RU
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modalityen
Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностьюru_RU
Journal Articleen
Bashmakov, Stepan I.: Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny 79, Krasnoyarsk, 660041 Russia; krauder@mail.ruen
Башмаков, Степан И.: Институт математики и фундаментальной информатики Сибирский федеральный университет Свободный, 79, Красноярск, 660041 Россияru_RU
3–9ru_RU
Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics;2018 11 (1)en


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию