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

Башмаков, Степан Игоревич
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
19971397
http://journal.sfu-kras.ru/article/68378
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
10.17516/1997-1397-2018-11-1-3-9
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Journal of Siberian Federal University - Mathematics and Physics
Q3
без квартиля


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

Thumbnail

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

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