Показать сокращенную информацию
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
| Автор | Башмаков, Степан Игоревич | |
| Дата внесения | 2019-07-01T07:30:26Z | |
| Дата, когда ресурс стал доступен | 2019-07-01T07:30:26Z | |
| Дата публикации | 2018-01 | |
| Библиографическое описание | Башмаков, Степан Игоревич. Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality [Текст] / Степан Игоревич Башмаков // Journal of Siberian Federal University - Mathematics and Physics: Математика и физика. — 2018. — Т. 11 (№ 1). — С. 3-9 | |
| ISSN | 19971397 | |
| URI (для ссылок/цитирований) | http://journal.sfu-kras.ru/article/68378 | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/111562 | |
| Аннотация | 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. | |
| Тема | temporal modal logic | |
| Тема | non-transitive Kripke frame | |
| Тема | unification | |
| Тема | ground unifier | |
| Тема | projective formulas | |
| Название | Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality | |
| Тип | Journal Article | |
| Тип | Journal Article Preprint | |
| Страницы | 3-9 | |
| ГРНТИ | 27.03.19 | |
| Дата обновления | 2019-07-01T07:30:26Z | |
| DOI | 10.17516/1997-1397-2018-11-1-3-9 | |
| Институт | Институт математики и фундаментальной информатики | |
| Подразделение | Кафедра алгебры и математической логики | |
| Журнал | Journal of Siberian Federal University - Mathematics and Physics | |
| Квартиль журнала в Scopus | Q3 | |
| Квартиль журнала в Web of Science | без квартиля |
