Author | Bashmakov, Stepan I. | en |
Author | Башмаков, Степан И. | ru_RU |
Accessioned Date | 2017-12-11T03:42:52Z | |
Available Date | 2017-12-11T03:42:52Z | |
Issued Date | 2018-02 | |
URI (for links/citations) | https://elib.sfu-kras.ru/handle/2311/68378 | |
Abstract | 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 found | en |
Abstract | Исследуется вопрос унификации в линейной модальной логике нетранзитивного времени с универсальной модальностью. Предлагается семантическое построение логики на линейных нетранзитивных фреймах Крипке, эффективная определимость и проективность унифицируемых формул. Найден алгоритм построения наиболее общего унификатора | ru_RU |
Language | en | en |
Publisher | Сибирский федеральный университет. Siberian Federal University | en |
Subject | temporal modal logic | en |
Subject | non-transitive Kripke frame | en |
Subject | unification | en |
Subject | ground unifier | en |
Subject | projective formulas | en |
Subject | временная модальная логика | ru_RU |
Subject | нетранзитивный фрейм Крипке | ru_RU |
Subject | унификация | ru_RU |
Subject | граунд–унификатор | ru_RU |
Subject | проективные формулы | ru_RU |
Title | Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality | en |
Alternative Title | Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью | ru_RU |
Type | Journal Article | en |
Contacts | Bashmakov, Stepan I.: Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny 79, Krasnoyarsk, 660041 Russia; krauder@mail.ru | en |
Contacts | Башмаков, Степан И.: Институт математики и фундаментальной информатики Сибирский федеральный университет Свободный, 79, Красноярск, 660041 Россия | ru_RU |
Pages | 3–9 | ru_RU |
Journal Name | Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics;2018 11 (1) | en |