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