| 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 |
