Тип публикации: статья из журнала

Год издания: 2018

Идентификатор DOI: 10.17516/1997-1397-2018-11-1-3-9

Ключевые слова: Ground unifier, Non-transitive Kripke frame, Projective formulas, Temporal modal logic, Unification

Аннотация: We investigate the question of unification in the linear modal logic on non-transitive time with the uni-versal modality. The semantic construction of logic on linear non-transitive Kripke frames is proposed, effective definability and projectivity of the

Журнал: Journal of Siberian Federal University - Mathematics and Physics

Выпуск журнала: Vol. 11, Is. 1

Номера страниц: 3-9

ISSN журнала: 19971397

Издатель: Siberian Federal University

• Bashmakov S.I. (Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny 79, Krasnoyarsk, Russian Federation)

• Scopus
• Web of Science Core Collection
• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК